| math/boolector | FreeBSD | 3.2.4_1 | math/boolector 3.2.4_1: Satisfiability Modulo Theories (SMT) solver. FreeBSD port maintained by [email protected]. |
| math/btor2tools | FreeBSD | 1.0.3 | math/btor2tools 1.0.3: Generic parser and tool package for the BTOR2 format. FreeBSD port maintained by [email protected]. |
| math/cadabra2 | FreeBSD | 2.5.14.p1_2 | math/cadabra2 2.5.14.p1_2: Computer algebra system for solving field theory problems. FreeBSD port maintained by [email protected]. |
| math/cadiback | FreeBSD | 0.2.1 | math/cadiback 0.2.1: CaDiBack BackBone Extractor. FreeBSD port maintained by [email protected]. |
| math/cadical | FreeBSD | 2.1.3_1 | math/cadical 2.1.3_1: Simple CDCL satisfiability solver. FreeBSD port maintained by [email protected]. |
| math/cado-nfs | FreeBSD | 2.3.0.20240408_2 | math/cado-nfs 2.3.0.20240408_2: Implementation of the Number Field Sieve Algorithm. FreeBSD port maintained by [email protected]. |
| math/calcium | FreeBSD | 0.4.1_2 | math/calcium 0.4.1_2: Exact real and complex numbers in C. FreeBSD port maintained by [email protected]. |
| math/casadi | FreeBSD | 3.7.0_2 | math/casadi 3.7.0_2: Symbolic framework for numeric optimization. FreeBSD port maintained by [email protected]. |
| math/cbc | FreeBSD | 2.10.13_1 | math/cbc 2.10.13_1: Coin-or Branch and Cut: mixed integer programming solver. FreeBSD port maintained by [email protected]. |
| math/ceres-solver | FreeBSD | 2.2.0_15 | math/ceres-solver 2.2.0_15: Nonlinear least squares minimizer. FreeBSD port maintained by [email protected]. |
| math/cgl | FreeBSD | 0.60.10_1 | math/cgl 0.60.10_1: Collection of cut generators for COIN-OR packages that use cuts. FreeBSD port maintained by [email protected]. |
| math/cgl-conic | FreeBSD | 1.0.0.6_9 | math/cgl-conic 1.0.0.6_9: Strategies for conic problems for COIN-OR Cut Generation. FreeBSD port maintained by [email protected]. |
| math/cglm | FreeBSD | 0.9.6 | math/cglm 0.9.6: Highly optimized graphics math (glm) for C. FreeBSD port maintained by [email protected]. |
| math/chuffed | FreeBSD | 0.14.0 | math/chuffed 0.14.0: Lazy clause generation CP solver for MiniZinc. FreeBSD port maintained by [email protected]. |
| math/cimod | FreeBSD | 1.7.5 | math/cimod 1.7.5: C++ header-only library for a binary quadratic models. FreeBSD port maintained by [email protected]. |
| math/clad | FreeBSD | 2.4_1 | math/clad 2.4_1: Automatic differentiation for C/C++. FreeBSD port maintained by [email protected]. |
| math/clingcon | FreeBSD | 5.2.1 | math/clingcon 5.2.1: Extension of clingo to handle constraints over integers. FreeBSD port maintained by [email protected]. |
| math/clingo | FreeBSD | 5.8.0 | math/clingo 5.8.0: Grounder and solver for logic programs. FreeBSD port maintained by [email protected]. |
| math/cm | FreeBSD | 0.4.4_1 | math/cm 0.4.4_1: Library for ring class fields of imaginary quadratic number fields. FreeBSD port maintained by [email protected]. |
| math/cmh | FreeBSD | 1.1.1_4 | math/cmh 1.1.1_4: Compute Igusa class polynomials. FreeBSD port maintained by [email protected]. |
| math/coin-or-data-netlib | FreeBSD | 1.2.11 | math/coin-or-data-netlib 1.2.11: COIN-OR netlib models. FreeBSD port maintained by [email protected]. |
| math/coin-or-data-sample | FreeBSD | 1.2.13 | math/coin-or-data-sample 1.2.13: COIN-OR data samples. FreeBSD port maintained by [email protected]. |
| math/coin-or-data-stochastic | FreeBSD | 1.1.7 | math/coin-or-data-stochastic 1.1.7: COIN-OR stochastic models. FreeBSD port maintained by [email protected]. |
| math/coin-or-metis | FreeBSD | 1.3.10_3 | math/coin-or-metis 1.3.10_3: COIN-OR autotools harness to build Metis. FreeBSD port maintained by [email protected]. |
| math/coin-or-mumps | FreeBSD | 3.0.3_4 | math/coin-or-mumps 3.0.3_4: COIN-OR autotools harness to build Mumps. FreeBSD port maintained by [email protected]. |
| math/coinmp | FreeBSD | 1.8.4_15 | math/coinmp 1.8.4_15: Optimization library with support for COIN-OR CLP, CBC, and CGL. FreeBSD port maintained by [email protected]. |
| math/coinutils | FreeBSD | 2.11.13_1 | math/coinutils 2.11.13_1: Utilities for COIN-OR project. FreeBSD port maintained by [email protected]. |
| math/colpack | FreeBSD | 1.0.10.249_1 | math/colpack 1.0.10.249_1: Graph Coloring Algorithm Package. FreeBSD port maintained by [email protected]. |
| math/combblas | FreeBSD | 2.0.0_3 | math/combblas 2.0.0_3: Combinatorial BLAS library: an extensible parallel graph library. FreeBSD port maintained by [email protected]. |
| math/conauto | FreeBSD | 2.03 | math/conauto 2.03: Program for graph isomorphism testing & automorphism group computation. FreeBSD port maintained by [email protected]. |
| math/cosma | FreeBSD | 2.8.4 | math/cosma 2.8.4: Distributed communication-optimal matrix multiplication algorithm. FreeBSD port maintained by [email protected]. |
| math/costa | FreeBSD | 2.3.3 | math/costa 2.3.3: Distributed Communication-Optimal Shuffle and Transpose Algorithm. FreeBSD port maintained by [email protected]. |
| math/couenne | FreeBSD | 0.5.9 | math/couenne 0.5.9: Convex Over and Under Envelopes for NonliNear Estimation. FreeBSD port maintained by [email protected]. |
| math/cppad | FreeBSD | 20260000.0 | math/cppad 20260000.0: C++ Algorithmic Differentiation package. FreeBSD port maintained by [email protected]. |
| math/creme | FreeBSD | g20210114 | math/creme g20210114: Randomized thermal relaxation method for MaxFS problems. FreeBSD port maintained by [email protected]. |
| math/csdp | FreeBSD | 6.2.0_3 | math/csdp 6.2.0_3: Solver for semidefinite programming problems. FreeBSD port maintained by [email protected]. |
| math/cudd | FreeBSD | 3.0.0 | math/cudd 3.0.0: Package for the manipulation of Binary Decision Diagrams (BDDs), etc. FreeBSD port maintained by [email protected]. |
| math/curv | FreeBSD | 0.5_32 | math/curv 0.5_32: Language for making art using mathematics. FreeBSD port maintained by [email protected]. |
| math/cvc5 | FreeBSD | 1.4.2 | math/cvc5 1.4.2: Automatic theorem prover for SMT (Satisfiability Modulo Theories). FreeBSD port maintained by [email protected]. |
| math/dbcsr | FreeBSD | 2.9.1 | math/dbcsr 2.9.1: Distributed Block Compressed Sparse Row matrix library. FreeBSD port maintained by [email protected]. |
| math/deal.ii | FreeBSD | 9.8.0_4 | math/deal.ii 9.8.0_4: Finite element Differential Equations Analysis Library (DEAL). FreeBSD port maintained by [email protected]. |
| math/dgl | FreeBSD | 2.4.0 | math/dgl 2.4.0: Deep Graph Library. FreeBSD port maintained by [email protected]. |
| math/dihydrogen | FreeBSD | 0.3.0 | math/dihydrogen 0.3.0: Dense and sparse linear algebra, conic optimization, lattice reduction. FreeBSD port maintained by [email protected]. |
| math/dionysus | FreeBSD | 2.2.3 | math/dionysus 2.2.3: Library for computing persistent homology. FreeBSD port maintained by [email protected]. |
| math/disco | FreeBSD | 1.0.0.33_12 | math/disco 1.0.0.33_12: Discrete Conic Optimization Solver. FreeBSD port maintained by [email protected]. |
| math/dsdp | FreeBSD | 5.8_8 | math/dsdp 5.8_8: Implementation of interior-point method for semidefinite programming. FreeBSD port maintained by [email protected]. |
| math/dune-alugrid | FreeBSD | 2.11.0_1 | math/dune-alugrid 2.11.0_1: DUNE framework: grid implementation providing simplex or cube grids. FreeBSD port maintained by [email protected]. |
| math/dune-common | FreeBSD | 2.11.0_1 | math/dune-common 2.11.0_1: DUNE framework: Build system, infrastructure and foundation classes. FreeBSD port maintained by [email protected]. |
| math/dune-curvedgeometry | FreeBSD | 2.11.0 | math/dune-curvedgeometry 2.11.0: DUNE framework: curved dune geometries by Lagrange parameterization. FreeBSD port maintained by [email protected]. |
| math/dune-fem | FreeBSD | 2.10.0_1 | math/dune-fem 2.10.0_1: DUNE framework: Finite Element Methods, Finite Volume Methods, etc. FreeBSD port maintained by [email protected]. |
| math/dune-foamgrid | FreeBSD | 2.11.0 | math/dune-foamgrid 2.11.0: DUNE framework: one- and two-dimensional simplex grids. FreeBSD port maintained by [email protected]. |
| math/dune-functions | FreeBSD | 2.11.0 | math/dune-functions 2.11.0: DUNE framework: Abstraction layer for global finite element functions. FreeBSD port maintained by [email protected]. |
| math/dune-geometry | FreeBSD | 2.11.0_1 | math/dune-geometry 2.11.0_1: DUNE framework: Geometry transformations, reference elements, etc. FreeBSD port maintained by [email protected]. |
| math/dune-grid | FreeBSD | 2.11.0_1 | math/dune-grid 2.11.0_1: DUNE framework: Geometry transformations, reference elements, etc. FreeBSD port maintained by [email protected]. |
| math/dune-grid-glue | FreeBSD | 2.11.0_1 | math/dune-grid-glue 2.11.0_1: DUNE framework: infrastructure for coupling of unrelated Dune grids. FreeBSD port maintained by [email protected]. |
| math/dune-istl | FreeBSD | 2.11.0 | math/dune-istl 2.11.0: DUNE framework: Iterative Solver Template Library. FreeBSD port maintained by [email protected]. |
| math/dune-localfunctions | FreeBSD | 2.11.0 | math/dune-localfunctions 2.11.0: DUNE framework: Local finite elements. FreeBSD port maintained by [email protected]. |
| math/dune-metagrid | FreeBSD | g20231219 | math/dune-metagrid g20231219: DUNE framework: module implementing a variety of DUNE meta grids. FreeBSD port maintained by [email protected]. |
| math/dune-multidomaingrid | FreeBSD | 2.10.0 | math/dune-multidomaingrid 2.10.0: DUNE framework: meta grid for subdomains spanning parts of host grid. FreeBSD port maintained by [email protected]. |
| math/dune-pdelab | FreeBSD | 2.7.0.20251127_1 | math/dune-pdelab 2.7.0.20251127_1: DUNE framework: PDE solver toolbox. FreeBSD port maintained by [email protected]. |
| math/dune-polygongrid | FreeBSD | 2.11.0_1 | math/dune-polygongrid 2.11.0_1: DUNE framework: 2D polygonal grid. FreeBSD port maintained by [email protected]. |
| math/dune-spgrid | FreeBSD | 2.11.0 | math/dune-spgrid 2.11.0: DUNE framework: A structured, parallel DUNE grid implementation. FreeBSD port maintained by [email protected]. |
| math/dune-typetree | FreeBSD | 2.11.0 | math/dune-typetree 2.11.0: DUNE framework: The TypeTree library. FreeBSD port maintained by [email protected]. |
| math/dune-uggrid | FreeBSD | 2.11.0_1 | math/dune-uggrid 2.11.0_1: DUNE framework: The UG Grid Manager. FreeBSD port maintained by [email protected]. |
| math/dune-vtk | FreeBSD | 2.11.0_1 | math/dune-vtk 2.11.0_1: DUNE framework: File reader and writer for the VTK XML format. FreeBSD port maintained by [email protected]. |
| math/ecos | FreeBSD | 2.0.10 | math/ecos 2.0.10: Lightweight conic solver for second-order cone programming. FreeBSD port maintained by [email protected]. |
| math/eigen5 | FreeBSD | 5.0.1 | math/eigen5 5.0.1: Lightweight library for vector and matrix math. FreeBSD port maintained by [email protected]. |
| math/elan | FreeBSD | 4.2.4_3 | math/elan 4.2.4_3: Lean version manager. FreeBSD port maintained by [email protected]. |
| math/elemental | FreeBSD | 1.5.3_3 | math/elemental 1.5.3_3: Dense and sparse linear algebra, conic optimization, lattice reduction. FreeBSD port maintained by [email protected]. |
| math/elpa | FreeBSD | 2026.02.002 | math/elpa 2026.02.002: Eigenvalue soLver for Petaflop Applications. FreeBSD port maintained by [email protected]. |
| math/ensmallen | FreeBSD | 3.11.1 | math/ensmallen 3.11.1: Flexible C++ library for efficient mathematical optimization. FreeBSD port maintained by [email protected]. |
| math/eprover | FreeBSD | 2.6_2 | math/eprover 2.6_2: Theorem prover for full first-order logic with equality. FreeBSD port maintained by [email protected]. |
| math/exprtk | FreeBSD | 0.0.3 | math/exprtk 0.0.3: C++ Mathematical Expression Toolkit Library. FreeBSD port maintained by [email protected]. |
| math/faiss | FreeBSD | 1.15.1_1 | math/faiss 1.15.1_1: Library for efficient similarity search & clustering of dense vectors. FreeBSD port maintained by [email protected]. |
| math/fcl | FreeBSD | 0.7.0_2 | math/fcl 0.7.0_2: Flexible Collision Library. FreeBSD port maintained by [email protected]. |
| math/fend | FreeBSD | 1.5.9 | math/fend 1.5.9: Arbitrary-precision unit-aware calculator. FreeBSD port maintained by [email protected]. |
| math/fenics-basix | FreeBSD | 0.11.0 | math/fenics-basix 0.11.0: FEniCS finite element basis evaluation library. FreeBSD port maintained by [email protected]. |
| math/flann | FreeBSD | 1.9.2_3 | math/flann 1.9.2_3: Library for fast nearest neighbor searches in high dimensional spaces. FreeBSD port maintained by [email protected]. |
| math/flexfloat | FreeBSD | g20220606_2 | math/flexfloat g20220606_2: C library for the emulation of reduced-precision floating point types. FreeBSD port maintained by [email protected]. |
| math/flint | FreeBSD | 3.5.0_1 | math/flint 3.5.0_1: Fast library for number theory. FreeBSD port maintained by [email protected]. |
| math/flint2 | FreeBSD | 2.9.0_5 | math/flint2 2.9.0_5: Fast library for number theory. FreeBSD port maintained by [email protected]. |
| math/flintqs | FreeBSD | 1.0 | math/flintqs 1.0: Quadratic Sieve integer factorization algorithm. FreeBSD port maintained by [email protected]. |
| math/flopc++ | FreeBSD | 1.2.5.20200527_1 | math/flopc++ 1.2.5.20200527_1: Library for solving Linear Optimization Problems in C++. FreeBSD port maintained by [email protected]. |
| math/formfactor | FreeBSD | 0.5.1 | math/formfactor 0.5.1: Library for computation of scattering form factors of polyhedra. FreeBSD port maintained by [email protected]. |
| math/fparser | FreeBSD | 4.5.2 | math/fparser 4.5.2: Function parser for C++. FreeBSD port maintained by [email protected]. |
| math/fplll | FreeBSD | 5.5.0 | math/fplll 5.5.0: Lattice algorithms using floating-point arithmetic. FreeBSD port maintained by [email protected]. |
| math/freefem++ | FreeBSD | 4.17_1 | math/freefem++ 4.17_1: Partial differential equation solver. FreeBSD port maintained by [email protected]. |
| math/fricas | FreeBSD | 1.3.13_6 | math/fricas 1.3.13_6: Advanced computer algebra system. FreeBSD port maintained by [email protected]. |
| math/g2o | FreeBSD | 20241228_3 | math/g2o 20241228_3: General framework for graph optimization. FreeBSD port maintained by [email protected]. |
| math/gambit | FreeBSD | 16.0.2_1 | math/gambit 16.0.2_1: Library of tools for doing computation in game theory. FreeBSD port maintained by [email protected]. |
| math/gap | FreeBSD | 4.16.1_2 | math/gap 4.16.1_2: System for computational discrete algebra. FreeBSD port maintained by [email protected]. |
| math/gau2grid | FreeBSD | 2.0.9 | math/gau2grid 2.0.9: Fast computation of a gaussian and its derivative on a grid. FreeBSD port maintained by [email protected]. |
| math/gecode | FreeBSD | 6.4.0 | math/gecode 6.4.0: Generic Constraint Development Environment. FreeBSD port maintained by [email protected]. |
| math/gemmlowp | FreeBSD | g20190812 | math/gemmlowp g20190812: Low-precision matrix multiplication library. FreeBSD port maintained by [email protected]. |
| math/geogram | FreeBSD | 1.9.0 | math/geogram 1.9.0: Programming library of geometric algorithms. FreeBSD port maintained by [email protected]. |
| math/giacxcas | FreeBSD | 2.0.0.21 | math/giacxcas 2.0.0.21: Computer algebra system. FreeBSD port maintained by [email protected]. |
| math/gismo | FreeBSD | 25.07.0_1 | math/gismo 25.07.0_1: C++ library for isogeometric analysis (IGA). FreeBSD port maintained by [email protected]. |
| math/glucose | FreeBSD | 4.2.1 | math/glucose 4.2.1: Parallel SAT solver based on Minisat, with glue clauses. FreeBSD port maintained by [email protected]. |
| math/gravity | FreeBSD | 1.1.20220309_8 | math/gravity 1.1.20220309_8: Mathematical modeling for optimization and machine learning. FreeBSD port maintained by [email protected]. |
| math/gretl | FreeBSD | 2026b | math/gretl 2026b: GNU Regression, Econometrics, and Time-series Library. FreeBSD port maintained by [email protected]. |
BSD Ports