| math/arborx | DragonFly | 1.7_1 | math/arborx 1.7_1: Performance-portable geometric search library. DragonFly port maintained by [email protected]. |
| math/aribas | DragonFly | 1.64_1 | math/aribas 1.64_1: Interpreter for big integer/multi-precision floating point arithmetic. DragonFly port maintained by [email protected]. |
| math/armadillo | DragonFly | 14.4.0 | math/armadillo 14.4.0: C++ linear algebra library. DragonFly port maintained by [email protected]. |
| math/arpack++ | DragonFly | 2.4.0_11 | math/arpack++ 2.4.0_11: Object-oriented version of the ARPACK package. DragonFly port maintained by [email protected]. |
| math/arpack-ng | DragonFly | 3.9.1_4 | math/arpack-ng 3.9.1_4: Revised Argand library for solving large-scale eigenvalue problems. DragonFly port maintained by [email protected]. |
| math/ascent | DragonFly | 0.7.1 | math/ascent 0.7.1: C++ simulation engine and differential equation solver. DragonFly port maintained by [email protected]. |
| math/asl | DragonFly | 2.1.0 | math/asl 2.1.0: COIN-OR autotools harness to build AMPL Solver Library. DragonFly port maintained by [email protected]. |
| math/barvinok | DragonFly | 0.41.8 | math/barvinok 0.41.8: Library for counting the number of integer points in polytopes. DragonFly port maintained by [email protected]. |
| math/bcal | DragonFly | 2.4 | math/bcal 2.4: Storage expression, unit conversion & address offset CLI calculator. DragonFly port maintained by [email protected]. |
| math/bcps | DragonFly | 0.99.2_5 | math/bcps 0.99.2_5: Branch, Constrain, and Price Software (BiCePS). DragonFly port maintained by [email protected]. |
| math/bitwise | DragonFly | 0.50_1 | math/bitwise 0.50_1: Terminal-based bit manipulator in curses. DragonFly port maintained by [email protected]. |
| math/bitwuzla | DragonFly | 0.7.0 | math/bitwuzla 0.7.0: SMT solver for the theories of fixed-size bit-vectors. DragonFly port maintained by [email protected]. |
| math/blacs | DragonFly | 1.7_40 | math/blacs 1.7_40: BLACS (Basic Linear Algebra Communication Subprograms). DragonFly port maintained by [email protected]. |
| math/blahtexml | DragonFly | 1.0_1 | math/blahtexml 1.0_1: TeX to MathML converter designed with MediaWiki in mind. DragonFly port maintained by [email protected]. |
| math/blas | DragonFly | 3.12.1 | math/blas 3.12.1: Basic Linear Algebra Subroutines. DragonFly port maintained by [email protected]. |
| math/blasfeo | DragonFly | 0.1.4.1_1 | math/blasfeo 0.1.4.1_1: Basic Linear Algebra Subroutines For Embedded Optimization. DragonFly port maintained by [email protected]. |
| math/blaspp | DragonFly | 2022.05.00_4 | math/blaspp 2022.05.00_4: C++ API for the Basic Linear Algebra Subroutines. DragonFly port maintained by [email protected]. |
| math/blaze | DragonFly | 3.8_5 | math/blaze 3.8_5: C++ math library for dense and sparse arithmetic. DragonFly port maintained by [email protected]. |
| math/blazeiterative | DragonFly | g20180409_13 | math/blazeiterative g20180409_13: Set of iterative linear system solvers for use with the Blaze library. DragonFly port maintained by [email protected]. |
| math/blis | DragonFly | 1.1 | math/blis 1.1: Software framework for high-performance BLAS-like libraries. DragonFly port maintained by [email protected]. |
| math/bliss | DragonFly | 0.73 | math/bliss 0.73: Tool for computing automorphism groups and canonical forms of graphs. DragonFly port maintained by [email protected]. |
| math/blocksolve95 | DragonFly | 3.0_32 | math/blocksolve95 3.0_32: Software for the efficient solution of large, sparse linear systems. DragonFly port maintained by [email protected]. |
| math/bonmin | DragonFly | 1.8.9_7 | math/bonmin 1.8.9_7: Basic Open-source Nonlinear Mixed INteger programming. DragonFly port maintained by [email protected]. |
| math/brial | DragonFly | 1.2.12_1 | math/brial 1.2.12_1: Library for polynomials over boolean rings. DragonFly port maintained by [email protected]. |
| math/bsdnt | DragonFly | 1.0_1 | math/bsdnt 1.0_1: Bignum Library. DragonFly port maintained by [email protected]. |
| math/cadiback | DragonFly | g20240729 | math/cadiback g20240729: CaDiBack BackBone Extractor. DragonFly port maintained by [email protected]. |
| math/cadical | DragonFly | 2.0.0 | math/cadical 2.0.0: Simple CDCL satisfiability solver. DragonFly port maintained by [email protected]. |
| math/cado-nfs | DragonFly | 2.3.0.20240408 | math/cado-nfs 2.3.0.20240408: Implementation of the Number Field Sieve Algorithm. DragonFly port maintained by [email protected]. |
| math/calc | DragonFly | 2.15.0.7 | math/calc 2.15.0.7: Interactive CLI arbitrary-precision calculator. DragonFly port maintained by [email protected]. |
| math/calcium | DragonFly | 0.4.1_1 | math/calcium 0.4.1_1: Exact real and complex numbers in C. DragonFly port maintained by [email protected]. |
| math/calcoo | DragonFly | 1.3.18_9 | math/calcoo 1.3.18_9: RPN and algebraic scientific calculator. DragonFly port maintained by [email protected]. |
| math/cbc | DragonFly | 2.10.12_1 | math/cbc 2.10.12_1: Coin-or Branch and Cut: mixed integer programming solver. DragonFly port maintained by [email protected]. |
| math/cblas | DragonFly | 3.12.1 | math/cblas 3.12.1: Reference implementation of the C interface to the legacy Fortran BLAS. DragonFly port maintained by [email protected]. |
| math/ccmath | DragonFly | 2.2.1_3 | math/ccmath 2.2.1_3: Mathematics library with many different functions. DragonFly port maintained by [email protected]. |
| math/cddlib | DragonFly | 0.94m | math/cddlib 0.94m: C-library implementation of the Double Description Method. DragonFly port maintained by [email protected]. |
| math/ceres-solver | DragonFly | 2.2.0_12 | math/ceres-solver 2.2.0_12: Nonlinear least squares minimizer. DragonFly port maintained by [email protected]. |
| math/cgal | DragonFly | 5.5.1_7 | math/cgal 5.5.1_7: Computational geometry library. DragonFly port maintained by [email protected]. |
| math/cgl | DragonFly | 0.60.9_2 | math/cgl 0.60.9_2: Collection of cut generators for COIN-OR packages that use cuts. DragonFly port maintained by [email protected]. |
| math/cgl-conic | DragonFly | 1.0.0.6_8 | math/cgl-conic 1.0.0.6_8: Strategies for conic problems for COIN-OR Cut Generation. DragonFly port maintained by [email protected]. |
| math/cglm | DragonFly | 0.9.4 | math/cglm 0.9.4: Highly optimized graphics math (glm) for C. DragonFly port maintained by [email protected]. |
| math/chaco | DragonFly | 2.2 | math/chaco 2.2: Software for partitioning graphs. DragonFly port maintained by [email protected]. |
| math/chryzodus | DragonFly | 0.32_4 | math/chryzodus 0.32_4: Chryzode (http//www.chryzode.org) explorer. DragonFly port maintained by [email protected]. |
| math/chuffed | DragonFly | 0.13.2 | math/chuffed 0.13.2: Lazy clause generation CP solver for MiniZinc. DragonFly port maintained by [email protected]. |
| math/cimod | DragonFly | 1.6.2 | math/cimod 1.6.2: C++ header-only library for a binary quadratic models. DragonFly port maintained by [email protected]. |
| math/clad | DragonFly | 1.5 | math/clad 1.5: Automatic differentiation for C/C++. DragonFly port maintained by [email protected]. |
| math/clasp | DragonFly | 3.3.9 | math/clasp 3.3.9: Answer set solver for (extended) normal logic programs. DragonFly port maintained by [email protected]. |
| math/clblas | DragonFly | 2.10_15 | math/clblas 2.10_15: Software library containing BLAS functions written in OpenCL. DragonFly port maintained by [email protected]. |
| math/clblast | DragonFly | 1.6.3 | math/clblast 1.6.3: Modern, lightweight, performant and tunable OpenCL BLAS library. DragonFly port maintained by [email protected]. |
| math/clfft | DragonFly | 2.12.2_1 | math/clfft 2.12.2_1: Software library containing FFT functions written in OpenCL. DragonFly port maintained by [email protected]. |
| math/clingcon | DragonFly | 5.2.1 | math/clingcon 5.2.1: Extension of clingo to handle constraints over integers. DragonFly port maintained by [email protected]. |
| math/clingo | DragonFly | 5.7.1 | math/clingo 5.7.1: Grounder and solver for logic programs. DragonFly port maintained by [email protected]. |
| math/cliquer | DragonFly | 1.22 | math/cliquer 1.22: Routines for clique searching. DragonFly port maintained by [email protected]. |
| math/cln | DragonFly | 1.3.7_1 | math/cln 1.3.7_1: Class Library for Numbers. DragonFly port maintained by [email protected]. |
| math/cloog | DragonFly | 0.21.1 | math/cloog 0.21.1: Code generator in the polyhedral model. DragonFly port maintained by [email protected]. |
| math/clp | DragonFly | 1.17.9_2 | math/clp 1.17.9_2: Linear Programming Solver. DragonFly port maintained by [email protected]. |
| math/clrng | DragonFly | 1.0.0.b_3 | math/clrng 1.0.0.b_3: Library for uniform random number generation in OpenCL. DragonFly port maintained by [email protected]. |
| math/cm | DragonFly | 0.4.3_1 | math/cm 0.4.3_1: Library for ring class fields of imaginary quadratic number fields. DragonFly port maintained by [email protected]. |
| math/cmh | DragonFly | 1.1.1_4 | math/cmh 1.1.1_4: Compute Igusa class polynomials. DragonFly port maintained by [email protected]. |
| math/cminpack | DragonFly | 1.3.11_1 | math/cminpack 1.3.11_1: Solving nonlinear equations and nonlinear least squares problems. DragonFly port maintained by [email protected]. |
| math/cmlib | DragonFly | 3.0_9 | math/cmlib 3.0_9: NIST Core math library (CMLIB). DragonFly port maintained by [email protected]. |
| math/cocoalib | DragonFly | 0.99800_1 | math/cocoalib 0.99800_1: C++ library for doing Computations in Commutative Algebra. DragonFly port maintained by [email protected]. |
| math/coin-or-data-netlib | DragonFly | 1.2.11 | math/coin-or-data-netlib 1.2.11: COIN-OR netlib models. DragonFly port maintained by [email protected]. |
| math/coin-or-data-sample | DragonFly | 1.2.13 | math/coin-or-data-sample 1.2.13: COIN-OR data samples. DragonFly port maintained by [email protected]. |
| math/coin-or-data-stochastic | DragonFly | 1.1.7 | math/coin-or-data-stochastic 1.1.7: COIN-OR stochastic models. DragonFly port maintained by [email protected]. |
| math/coin-or-metis | DragonFly | 1.3.10_3 | math/coin-or-metis 1.3.10_3: COIN-OR autotools harness to build Metis. DragonFly port maintained by [email protected]. |
| math/coin-or-mumps | DragonFly | 3.0.3_4 | math/coin-or-mumps 3.0.3_4: COIN-OR autotools harness to build Mumps. DragonFly port maintained by [email protected]. |
| math/coinmp | DragonFly | 1.8.4_14 | math/coinmp 1.8.4_14: Optimization library with support for COIN-OR CLP, CBC, and CGL. DragonFly port maintained by [email protected]. |
| math/coinutils | DragonFly | 2.11.12_1 | math/coinutils 2.11.12_1: Utilities for COIN-OR project. DragonFly port maintained by [email protected]. |
| math/colpack | DragonFly | 1.0.10.249_1 | math/colpack 1.0.10.249_1: Graph Coloring Algorithm Package. DragonFly port maintained by [email protected]. |
| math/combblas | DragonFly | 2.0.0_2 | math/combblas 2.0.0_2: Combinatorial BLAS library: an extensible parallel graph library. DragonFly port maintained by [email protected]. |
| math/conauto | DragonFly | 2.03 | math/conauto 2.03: Program for graph isomorphism testing & automorphism group computation. DragonFly port maintained by [email protected]. |
| math/concorde | DragonFly | 20031219 | math/concorde 20031219: Combinatorial Optimization package. DragonFly port maintained by [email protected]. |
| math/convertall | DragonFly | 0.8.0_8 | math/convertall 0.8.0_8: Another unit converter. DragonFly port maintained by [email protected]. |
| math/costa | DragonFly | 2.2.2_1 | math/costa 2.2.2_1: Distributed Communication-Optimal Shuffle and Transpose Algorithm. DragonFly port maintained by [email protected]. |
| math/couenne | DragonFly | 0.5.8_16 | math/couenne 0.5.8_16: Convex Over and Under Envelopes for NonliNear Estimation. DragonFly port maintained by [email protected]. |
| math/coxeter3 | DragonFly | 3.1.20210124 | math/coxeter3 3.1.20210124: Library for the study of combinatorial aspects of Coxeter group theory. DragonFly port maintained by [email protected]. |
| math/cppad | DragonFly | 20250000.1 | math/cppad 20250000.1: C++ Algorithmic Differentiation package. DragonFly port maintained by [email protected]. |
| math/creme | DragonFly | g20210114 | math/creme g20210114: Randomized thermal relaxation method for MaxFS problems. DragonFly port maintained by [email protected]. |
| math/crlibm | DragonFly | 1.0.b4_2 | math/crlibm 1.0.b4_2: Correctly-rounded mathematics library. DragonFly port maintained by [email protected]. |
| math/cryptominisat | DragonFly | 5.11.21_4 | math/cryptominisat 5.11.21_4: General-purpose award-winning SAT solver. DragonFly port maintained by [email protected]. |
| math/csdp | DragonFly | 6.2.0_3 | math/csdp 6.2.0_3: Solver for semidefinite programming problems. DragonFly port maintained by [email protected]. |
| math/ctl-sat | DragonFly | g20200210 | math/ctl-sat g20200210: CTL (Computation Tree Logic) SAT solver. DragonFly port maintained by [email protected]. |
| math/cudd | DragonFly | 3.0.0 | math/cudd 3.0.0: Package for the manipulation of Binary Decision Diagrams (BDDs), etc. DragonFly port maintained by [email protected]. |
| math/cvc5 | DragonFly | 1.2.1 | math/cvc5 1.2.1: Automatic theorem prover for SMT (Satisfiability Modulo Theories). DragonFly port maintained by [email protected]. |
| math/ddfun | DragonFly | 03 | math/ddfun 03: Double-double package with special functions. DragonFly port maintained by [email protected]. |
| math/dieharder | DragonFly | 3.31.1_10 | math/dieharder 3.31.1_10: Random number generator testsuite. DragonFly port maintained by [email protected]. |
| math/dihydrogen | DragonFly | 0.2.1.36_5 | math/dihydrogen 0.2.1.36_5: Dense and sparse linear algebra, conic optimization, lattice reduction. DragonFly port maintained by [email protected]. |
| math/dionysus | DragonFly | g20210521_1 | math/dionysus g20210521_1: Library for computing persistent homology. DragonFly port maintained by [email protected]. |
| math/disco | DragonFly | 1.0.0.33_11 | math/disco 1.0.0.33_11: Discrete Conic Optimization Solver. DragonFly port maintained by [email protected]. |
| math/dqfun | DragonFly | 03 | math/dqfun 03: Double-quad precision package with special functions. DragonFly port maintained by [email protected]. |
| math/drgeo | DragonFly | 1.1.0_26 | math/drgeo 1.1.0_26: GTK interactive geometry software. DragonFly port maintained by [email protected]. |
| math/dsdp | DragonFly | 5.8_8 | math/dsdp 5.8_8: Implementation of interior-point method for semidefinite programming. DragonFly port maintained by [email protected]. |
| math/dsfmt | DragonFly | 2.2.5_1 | math/dsfmt 2.2.5_1: Double precision SIMD-oriented Fast Mersenne Twister. DragonFly port maintained by [email protected]. |
| math/dune-alugrid | DragonFly | 2.8.0_13 | math/dune-alugrid 2.8.0_13: DUNE framework: grid implementation providing simplex or cube grids. DragonFly port maintained by [email protected]. |
| math/dune-common | DragonFly | 2.8.0_16 | math/dune-common 2.8.0_16: DUNE framework: Build system, infrastructure and foundation classes. DragonFly port maintained by [email protected]. |
| math/dune-curvedgeometry | DragonFly | g20201116_1 | math/dune-curvedgeometry g20201116_1: DUNE framework: curved dune geometries by Lagrange parameterization. DragonFly port maintained by [email protected]. |
| math/dune-fem | DragonFly | 2.8.0.5_27 | math/dune-fem 2.8.0.5_27: DUNE framework: Finite Element Methods, Finite Volume Methods, etc. DragonFly port maintained by [email protected]. |
| math/dune-foamgrid | DragonFly | 2.8.0_1 | math/dune-foamgrid 2.8.0_1: DUNE framework: one- and two-dimensional simplex grids. DragonFly port maintained by [email protected]. |
| math/dune-functions | DragonFly | 2.8.0_1 | math/dune-functions 2.8.0_1: DUNE framework: Abstraction layer for global finite element functions. DragonFly port maintained by [email protected]. |
| math/dune-geometry | DragonFly | 2.8.0_15 | math/dune-geometry 2.8.0_15: DUNE framework: Geometry transformations, reference elements, etc. DragonFly port maintained by [email protected]. |
BSD Ports