| 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]. |
| math/dune-grid | DragonFly | 2.8.0_15 | math/dune-grid 2.8.0_15: DUNE framework: Geometry transformations, reference elements, etc. DragonFly port maintained by [email protected]. |
| math/dune-grid-glue | DragonFly | 2.8.0_13 | math/dune-grid-glue 2.8.0_13: DUNE framework: infrastructure for coupling of unrelated Dune grids. DragonFly port maintained by [email protected]. |
| math/dune-istl | DragonFly | 2.8.0_12 | math/dune-istl 2.8.0_12: DUNE framework: Iterative Solver Template Library. DragonFly port maintained by [email protected]. |
| math/dune-localfunctions | DragonFly | 2.8.0_1 | math/dune-localfunctions 2.8.0_1: DUNE framework: Local finite elements. DragonFly port maintained by [email protected]. |
| math/dune-metagrid | DragonFly | g20210929_1 | math/dune-metagrid g20210929_1: DUNE framework: module implementing a variety of DUNE meta grids. DragonFly port maintained by [email protected]. |
| math/dune-multidomaingrid | DragonFly | 2.8.0_1 | math/dune-multidomaingrid 2.8.0_1: DUNE framework: meta grid for subdomains spanning parts of host grid. DragonFly port maintained by [email protected]. |
| math/dune-pdelab | DragonFly | 2.7.0.20210824_28 | math/dune-pdelab 2.7.0.20210824_28: DUNE framework: PDE solver toolbox. DragonFly port maintained by [email protected]. |
| math/dune-polygongrid | DragonFly | 2.8.0_13 | math/dune-polygongrid 2.8.0_13: DUNE framework: 2D polygonal grid. DragonFly port maintained by [email protected]. |
| math/dune-spgrid | DragonFly | 2.8.0_2 | math/dune-spgrid 2.8.0_2: DUNE framework: A structured, parallel DUNE grid implementation. DragonFly port maintained by [email protected]. |
| math/dune-typetree | DragonFly | 2.8.0_2 | math/dune-typetree 2.8.0_2: DUNE framework: The TypeTree library. DragonFly port maintained by [email protected]. |
| math/dune-uggrid | DragonFly | 2.8.0_15 | math/dune-uggrid 2.8.0_15: DUNE framework: The UG Grid Manager. DragonFly port maintained by [email protected]. |
| math/dune-vtk | DragonFly | 2.8.0_26 | math/dune-vtk 2.8.0_26: DUNE framework: File reader and writer for the VTK XML format. DragonFly port maintained by [email protected]. |
| math/e-antic | DragonFly | 2.0.2_6 | math/e-antic 2.0.2_6: Real Embedded Algebraic Number Theory In C. DragonFly port maintained by [email protected]. |
| math/eclib | DragonFly | 20250122_1 | math/eclib 20250122_1: C++ library for arithmetic on elliptic curves. DragonFly port maintained by [email protected]. |
| math/ecos | DragonFly | 2.0.10 | math/ecos 2.0.10: Lightweight conic solver for second-order cone programming. DragonFly port maintained by [email protected]. |
| math/edenmath | DragonFly | 1.1.1_12 | math/edenmath 1.1.1_12: Scientific calculator for GNUstep. DragonFly port maintained by [email protected]. |
| math/eigen3 | DragonFly | 3.4.0_4 | math/eigen3 3.4.0_4: Lightweight library for vector and matrix math. DragonFly port maintained by [email protected]. |
| math/eispack | DragonFly | 1.0_15 | math/eispack 1.0_15: Eigenvalue system package. DragonFly port maintained by [email protected]. |
| math/ensmallen | DragonFly | 2.22.1 | math/ensmallen 2.22.1: Flexible C++ library for efficient mathematical optimization. DragonFly port maintained by [email protected]. |
| math/ent | DragonFly | 0.20080128_1 | math/ent 0.20080128_1: Entropy calculation and analysis of putative random sequences. DragonFly port maintained by [email protected]. |
BSD Ports