| math/bcps | FreeBSD | 0.99.2_6 | math/bcps 0.99.2_6: Branch, Constrain, and Price Software (BiCePS). FreeBSD port maintained by [email protected]. |
| math/bitwise | FreeBSD | 0.70 | math/bitwise 0.70: Terminal-based bit manipulator in curses. FreeBSD port maintained by [email protected]. |
| math/bitwuzla | FreeBSD | 0.9.1 | math/bitwuzla 0.9.1: SMT solver for the theories of fixed-size bit-vectors. FreeBSD port maintained by [email protected]. |
| math/blacs | FreeBSD | 1.7_42 | math/blacs 1.7_42: BLACS (Basic Linear Algebra Communication Subprograms). FreeBSD port maintained by [email protected]. |
| math/blahtexml | FreeBSD | 1.0_1 | math/blahtexml 1.0_1: TeX to MathML converter designed with MediaWiki in mind. FreeBSD port maintained by [email protected]. |
| math/blas | FreeBSD | 3.12.1 | math/blas 3.12.1: Basic Linear Algebra Subroutines. FreeBSD port maintained by [email protected]. |
| math/blasfeo | FreeBSD | 0.1.4.3 | math/blasfeo 0.1.4.3: Basic Linear Algebra Subroutines For Embedded Optimization. FreeBSD port maintained by [email protected]. |
| math/blaspp | FreeBSD | 2025.05.28_1 | math/blaspp 2025.05.28_1: C++ API for the Basic Linear Algebra Subroutines. FreeBSD port maintained by [email protected]. |
| math/blaze | FreeBSD | 3.8.2 | math/blaze 3.8.2: C++ math library for dense and sparse arithmetic. FreeBSD port maintained by [email protected]. |
| math/blazeiterative | FreeBSD | g20180409_13 | math/blazeiterative g20180409_13: Set of iterative linear system solvers for use with the Blaze library. FreeBSD port maintained by [email protected]. |
| math/blis | FreeBSD | 2.1 | math/blis 2.1: Software framework for high-performance BLAS-like libraries. FreeBSD port maintained by [email protected]. |
| math/bliss | FreeBSD | 0.73_1 | math/bliss 0.73_1: Tool for computing automorphism groups and canonical forms of graphs. FreeBSD port maintained by [email protected]. |
| math/blocksolve95 | FreeBSD | 3.0_33 | math/blocksolve95 3.0_33: Software for the efficient solution of large, sparse linear systems. FreeBSD port maintained by [email protected]. |
| math/bonmin | FreeBSD | 1.8.9_8 | math/bonmin 1.8.9_8: Basic Open-source Nonlinear Mixed INteger programming. FreeBSD port maintained by [email protected]. |
| 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/brial | FreeBSD | 1.2.15_1 | math/brial 1.2.15_1: Library for polynomials over boolean rings. FreeBSD port maintained by [email protected]. |
| math/bsdnt | FreeBSD | 1.0_1 | math/bsdnt 1.0_1: Bignum Library. 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/calc | FreeBSD | 2.17.0.2 | math/calc 2.17.0.2: Interactive CLI arbitrary-precision calculator. 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/calcoo | FreeBSD | 1.3.18_9 | math/calcoo 1.3.18_9: RPN and algebraic scientific calculator. FreeBSD port maintained by [email protected]. |
| math/cantor | FreeBSD | 26.08.2 | math/cantor 26.08.2: Mathematical software frontend by KDE. 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/cblas | FreeBSD | 3.12.1 | math/cblas 3.12.1: Reference implementation of the C interface to the legacy Fortran BLAS. FreeBSD port maintained by [email protected]. |
| math/ccmath | FreeBSD | 2.2.1_3 | math/ccmath 2.2.1_3: Mathematics library with many different functions. FreeBSD port maintained by [email protected]. |
| math/cddlib | FreeBSD | 0.94m | math/cddlib 0.94m: C-library implementation of the Double Description Method. 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/cgal | FreeBSD | 5.6.2_4 | math/cgal 5.6.2_4: Computational geometry library. 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/chaco | FreeBSD | 2.2 | math/chaco 2.2: Software for partitioning graphs. FreeBSD port maintained by [email protected]. |
| math/chryzodus | FreeBSD | 0.32_4 | math/chryzodus 0.32_4: Chryzode (http//www.chryzode.org) explorer. 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/clasp | FreeBSD | 3.4.1 | math/clasp 3.4.1: Answer set solver for (extended) normal logic programs. FreeBSD port maintained by [email protected]. |
| math/clblas | FreeBSD | 2.12_5 | math/clblas 2.12_5: Software library containing BLAS functions written in OpenCL. FreeBSD port maintained by [email protected]. |
| math/clblast | FreeBSD | 1.7.0 | math/clblast 1.7.0: Modern, lightweight, performant and tunable OpenCL BLAS library. FreeBSD port maintained by [email protected]. |
| math/clfft | FreeBSD | 2.12.2_2 | math/clfft 2.12.2_2: Software library containing FFT functions written in OpenCL. 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/cliquer | FreeBSD | 1.23 | math/cliquer 1.23: Routines for clique searching. FreeBSD port maintained by [email protected]. |
| math/cln | FreeBSD | 1.3.7_1 | math/cln 1.3.7_1: Class Library for Numbers. FreeBSD port maintained by [email protected]. |
| math/cloog | FreeBSD | 0.21.1 | math/cloog 0.21.1: Code generator in the polyhedral model. FreeBSD port maintained by [email protected]. |
| math/clp | FreeBSD | 1.17.11 | math/clp 1.17.11: Linear Programming Solver. FreeBSD port maintained by [email protected]. |
| math/clrng | FreeBSD | 1.0.0.b_4 | math/clrng 1.0.0.b_4: Library for uniform random number generation in OpenCL. 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/cminpack | FreeBSD | 1.3.14 | math/cminpack 1.3.14: Solving nonlinear equations and nonlinear least squares problems. FreeBSD port maintained by [email protected]. |
| math/cmlib | FreeBSD | 3.0_9 | math/cmlib 3.0_9: NIST Core math library (CMLIB). FreeBSD port maintained by [email protected]. |
| math/cocoalib | FreeBSD | 0.99800_2 | math/cocoalib 0.99800_2: C++ library for doing Computations in Commutative Algebra. 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/concorde | FreeBSD | 20031219 | math/concorde 20031219: Combinatorial Optimization package. FreeBSD port maintained by [email protected]. |
| math/convertall | FreeBSD | 0.8.0_8 | math/convertall 0.8.0_8: Another unit converter. FreeBSD port maintained by [email protected]. |
| math/coq | FreeBSD | 8.20.1_3,3 | math/coq 8.20.1_3,3: Theorem prover based on lambda-C. 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/coxeter3 | FreeBSD | 3.1.20210124 | math/coxeter3 3.1.20210124: Library for the study of combinatorial aspects of Coxeter group theory. 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/crlibm | FreeBSD | 1.0.b4_2 | math/crlibm 1.0.b4_2: Correctly-rounded mathematics library. FreeBSD port maintained by [email protected]. |
| math/cryptominisat | FreeBSD | 5.11.21_8 | math/cryptominisat 5.11.21_8: General-purpose award-winning SAT solver. 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/ctl-sat | FreeBSD | g20200210 | math/ctl-sat g20200210: CTL (Computation Tree Logic) SAT solver. 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_33 | math/curv 0.5_33: 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/ddfun | FreeBSD | 03 | math/ddfun 03: Double-double package with special functions. FreeBSD port maintained by [email protected]. |
| math/deal.ii | FreeBSD | 9.8.0_5 | math/deal.ii 9.8.0_5: 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/dieharder | FreeBSD | 3.31.1_11 | math/dieharder 3.31.1_11: Random number generator testsuite. 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/dqfun | FreeBSD | 03 | math/dqfun 03: Double-quad precision package with special functions. FreeBSD port maintained by [email protected]. |
| math/drgeo | FreeBSD | 1.1.0_27 | math/drgeo 1.1.0_27: GTK interactive geometry software. 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/dsfmt | FreeBSD | 2.2.5_1 | math/dsfmt 2.2.5_1: Double precision SIMD-oriented Fast Mersenne Twister. 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]. |
BSD Ports