BSD Ports

All ports

PortSystemVersionComment
math/cbcFreeBSD2.10.13_1math/cbc 2.10.13_1: Coin-or Branch and Cut: mixed integer programming solver. FreeBSD port maintained by [email protected].
math/cblasFreeBSD3.12.1math/cblas 3.12.1: Reference implementation of the C interface to the legacy Fortran BLAS. FreeBSD port maintained by [email protected].
math/ccmathFreeBSD2.2.1_3math/ccmath 2.2.1_3: Mathematics library with many different functions. FreeBSD port maintained by [email protected].
math/cddlibFreeBSD0.94mmath/cddlib 0.94m: C-library implementation of the Double Description Method. FreeBSD port maintained by [email protected].
math/ceres-solverFreeBSD2.2.0_15math/ceres-solver 2.2.0_15: Nonlinear least squares minimizer. FreeBSD port maintained by [email protected].
math/cgalFreeBSD5.6.2_4math/cgal 5.6.2_4: Computational geometry library. FreeBSD port maintained by [email protected].
math/cglFreeBSD0.60.10_1math/cgl 0.60.10_1: Collection of cut generators for COIN-OR packages that use cuts. FreeBSD port maintained by [email protected].
math/cgl-conicFreeBSD1.0.0.6_9math/cgl-conic 1.0.0.6_9: Strategies for conic problems for COIN-OR Cut Generation. FreeBSD port maintained by [email protected].
math/cglmFreeBSD0.9.7_1math/cglm 0.9.7_1: Highly optimized graphics math (glm) for C. FreeBSD port maintained by [email protected].
math/chacoFreeBSD2.2math/chaco 2.2: Software for partitioning graphs. FreeBSD port maintained by [email protected].
math/chryzodusFreeBSD0.32_4math/chryzodus 0.32_4: Chryzode (http//www.chryzode.org) explorer. FreeBSD port maintained by [email protected].
math/chuffedFreeBSD0.14.0math/chuffed 0.14.0: Lazy clause generation CP solver for MiniZinc. FreeBSD port maintained by [email protected].
math/cimodFreeBSD1.7.5math/cimod 1.7.5: C++ header-only library for a binary quadratic models. FreeBSD port maintained by [email protected].
math/cladFreeBSD2.5math/clad 2.5: Automatic differentiation for C/C++. FreeBSD port maintained by [email protected].
math/claspFreeBSD3.4.1math/clasp 3.4.1: Answer set solver for (extended) normal logic programs. FreeBSD port maintained by [email protected].
math/clblasFreeBSD2.12_5math/clblas 2.12_5: Software library containing BLAS functions written in OpenCL. FreeBSD port maintained by [email protected].
math/clblastFreeBSD1.7.0math/clblast 1.7.0: Modern, lightweight, performant and tunable OpenCL BLAS library. FreeBSD port maintained by [email protected].
math/clfftFreeBSD2.12.2_2math/clfft 2.12.2_2: Software library containing FFT functions written in OpenCL. FreeBSD port maintained by [email protected].
math/clingconFreeBSD5.2.1math/clingcon 5.2.1: Extension of clingo to handle constraints over integers. FreeBSD port maintained by [email protected].
math/clingoFreeBSD5.8.0math/clingo 5.8.0: Grounder and solver for logic programs. FreeBSD port maintained by [email protected].
math/cliquerFreeBSD1.23math/cliquer 1.23: Routines for clique searching. FreeBSD port maintained by [email protected].
math/clnFreeBSD1.3.7_1math/cln 1.3.7_1: Class Library for Numbers. FreeBSD port maintained by [email protected].
math/cloogFreeBSD0.21.1math/cloog 0.21.1: Code generator in the polyhedral model. FreeBSD port maintained by [email protected].
math/clpFreeBSD1.17.11math/clp 1.17.11: Linear Programming Solver. FreeBSD port maintained by [email protected].
math/clrngFreeBSD1.0.0.b_4math/clrng 1.0.0.b_4: Library for uniform random number generation in OpenCL. FreeBSD port maintained by [email protected].
math/cmFreeBSD0.4.4_1math/cm 0.4.4_1: Library for ring class fields of imaginary quadratic number fields. FreeBSD port maintained by [email protected].
math/cmhFreeBSD1.1.2math/cmh 1.1.2: Compute Igusa class polynomials. FreeBSD port maintained by [email protected].
math/cminpackFreeBSD1.3.14math/cminpack 1.3.14: Solving nonlinear equations and nonlinear least squares problems. FreeBSD port maintained by [email protected].
math/cmlibFreeBSD3.0_9math/cmlib 3.0_9: NIST Core math library (CMLIB). FreeBSD port maintained by [email protected].
math/cocoalibFreeBSD0.99800_2math/cocoalib 0.99800_2: C++ library for doing Computations in Commutative Algebra. FreeBSD port maintained by [email protected].
math/coin-or-data-netlibFreeBSD1.2.11math/coin-or-data-netlib 1.2.11: COIN-OR netlib models. FreeBSD port maintained by [email protected].
math/coin-or-data-sampleFreeBSD1.2.13math/coin-or-data-sample 1.2.13: COIN-OR data samples. FreeBSD port maintained by [email protected].
math/coin-or-data-stochasticFreeBSD1.1.7math/coin-or-data-stochastic 1.1.7: COIN-OR stochastic models. FreeBSD port maintained by [email protected].
math/coin-or-metisFreeBSD1.3.10_3math/coin-or-metis 1.3.10_3: COIN-OR autotools harness to build Metis. FreeBSD port maintained by [email protected].
math/coin-or-mumpsFreeBSD3.0.11math/coin-or-mumps 3.0.11: COIN-OR autotools harness to build Mumps. FreeBSD port maintained by [email protected].
math/coinmpFreeBSD1.8.4_15math/coinmp 1.8.4_15: Optimization library with support for COIN-OR CLP, CBC, and CGL. FreeBSD port maintained by [email protected].
math/coinutilsFreeBSD2.11.13_1math/coinutils 2.11.13_1: Utilities for COIN-OR project. FreeBSD port maintained by [email protected].
math/colpackFreeBSD1.0.10.249_1math/colpack 1.0.10.249_1: Graph Coloring Algorithm Package. FreeBSD port maintained by [email protected].
math/combblasFreeBSD2.0.0_3math/combblas 2.0.0_3: Combinatorial BLAS library: an extensible parallel graph library. FreeBSD port maintained by [email protected].
math/conautoFreeBSD2.03math/conauto 2.03: Program for graph isomorphism testing & automorphism group computation. FreeBSD port maintained by [email protected].
math/concordeFreeBSD20031219math/concorde 20031219: Combinatorial Optimization package. FreeBSD port maintained by [email protected].
math/convertallFreeBSD0.8.0_8math/convertall 0.8.0_8: Another unit converter. FreeBSD port maintained by [email protected].
math/coqFreeBSD8.20.1_3,3math/coq 8.20.1_3,3: Theorem prover based on lambda-C. FreeBSD port maintained by [email protected].
math/cosmaFreeBSD2.8.4math/cosma 2.8.4: Distributed communication-optimal matrix multiplication algorithm. FreeBSD port maintained by [email protected].
math/costaFreeBSD2.3.3math/costa 2.3.3: Distributed Communication-Optimal Shuffle and Transpose Algorithm. FreeBSD port maintained by [email protected].
math/couenneFreeBSD0.5.9math/couenne 0.5.9: Convex Over and Under Envelopes for NonliNear Estimation. FreeBSD port maintained by [email protected].
math/coxeter3FreeBSD3.1.20210124math/coxeter3 3.1.20210124: Library for the study of combinatorial aspects of Coxeter group theory. FreeBSD port maintained by [email protected].
math/cppadFreeBSD20260000.0math/cppad 20260000.0: C++ Algorithmic Differentiation package. FreeBSD port maintained by [email protected].
math/cremeFreeBSDg20210114math/creme g20210114: Randomized thermal relaxation method for MaxFS problems. FreeBSD port maintained by [email protected].
math/crlibmFreeBSD1.0.b4_2math/crlibm 1.0.b4_2: Correctly-rounded mathematics library. FreeBSD port maintained by [email protected].
math/cryptominisatFreeBSD5.11.21_8math/cryptominisat 5.11.21_8: General-purpose award-winning SAT solver. FreeBSD port maintained by [email protected].
math/csdpFreeBSD6.2.0_3math/csdp 6.2.0_3: Solver for semidefinite programming problems. FreeBSD port maintained by [email protected].
math/ctl-satFreeBSDg20200210math/ctl-sat g20200210: CTL (Computation Tree Logic) SAT solver. FreeBSD port maintained by [email protected].
math/cuddFreeBSD3.0.0math/cudd 3.0.0: Package for the manipulation of Binary Decision Diagrams (BDDs), etc. FreeBSD port maintained by [email protected].
math/curvFreeBSD0.5_33math/curv 0.5_33: Language for making art using mathematics. FreeBSD port maintained by [email protected].
math/cvc5FreeBSD1.4.2math/cvc5 1.4.2: Automatic theorem prover for SMT (Satisfiability Modulo Theories). FreeBSD port maintained by [email protected].
math/dbcsrFreeBSD2.10.0math/dbcsr 2.10.0: Distributed Block Compressed Sparse Row matrix library. FreeBSD port maintained by [email protected].
math/ddfunFreeBSD03math/ddfun 03: Double-double package with special functions. FreeBSD port maintained by [email protected].
math/deal.iiFreeBSD9.8.0_5math/deal.ii 9.8.0_5: Finite element Differential Equations Analysis Library (DEAL). FreeBSD port maintained by [email protected].
math/dglFreeBSD2.4.0math/dgl 2.4.0: Deep Graph Library. FreeBSD port maintained by [email protected].
math/dieharderFreeBSD3.31.1_11math/dieharder 3.31.1_11: Random number generator testsuite. FreeBSD port maintained by [email protected].
math/dihydrogenFreeBSD0.3.0math/dihydrogen 0.3.0: Dense and sparse linear algebra, conic optimization, lattice reduction. FreeBSD port maintained by [email protected].
math/dionysusFreeBSD2.2.3math/dionysus 2.2.3: Library for computing persistent homology. FreeBSD port maintained by [email protected].
math/discoFreeBSD1.0.0.33_12math/disco 1.0.0.33_12: Discrete Conic Optimization Solver. FreeBSD port maintained by [email protected].
math/dqfunFreeBSD03math/dqfun 03: Double-quad precision package with special functions. FreeBSD port maintained by [email protected].
math/drgeoFreeBSD1.1.0_27math/drgeo 1.1.0_27: GTK interactive geometry software. FreeBSD port maintained by [email protected].
math/dsdpFreeBSD5.8_8math/dsdp 5.8_8: Implementation of interior-point method for semidefinite programming. FreeBSD port maintained by [email protected].
math/dsfmtFreeBSD2.2.5_1math/dsfmt 2.2.5_1: Double precision SIMD-oriented Fast Mersenne Twister. FreeBSD port maintained by [email protected].
math/dune-alugridFreeBSD2.11.0_1math/dune-alugrid 2.11.0_1: DUNE framework: grid implementation providing simplex or cube grids. FreeBSD port maintained by [email protected].
math/dune-commonFreeBSD2.11.0_1math/dune-common 2.11.0_1: DUNE framework: Build system, infrastructure and foundation classes. FreeBSD port maintained by [email protected].
math/dune-curvedgeometryFreeBSD2.11.0math/dune-curvedgeometry 2.11.0: DUNE framework: curved dune geometries by Lagrange parameterization. FreeBSD port maintained by [email protected].
math/dune-femFreeBSD2.10.0_1math/dune-fem 2.10.0_1: DUNE framework: Finite Element Methods, Finite Volume Methods, etc. FreeBSD port maintained by [email protected].
math/dune-foamgridFreeBSD2.11.0math/dune-foamgrid 2.11.0: DUNE framework: one- and two-dimensional simplex grids. FreeBSD port maintained by [email protected].
math/dune-functionsFreeBSD2.11.0math/dune-functions 2.11.0: DUNE framework: Abstraction layer for global finite element functions. FreeBSD port maintained by [email protected].
math/dune-geometryFreeBSD2.11.0_1math/dune-geometry 2.11.0_1: DUNE framework: Geometry transformations, reference elements, etc. FreeBSD port maintained by [email protected].
math/dune-gridFreeBSD2.11.0_1math/dune-grid 2.11.0_1: DUNE framework: Geometry transformations, reference elements, etc. FreeBSD port maintained by [email protected].
math/dune-grid-glueFreeBSD2.11.0_1math/dune-grid-glue 2.11.0_1: DUNE framework: infrastructure for coupling of unrelated Dune grids. FreeBSD port maintained by [email protected].
math/dune-istlFreeBSD2.11.0math/dune-istl 2.11.0: DUNE framework: Iterative Solver Template Library. FreeBSD port maintained by [email protected].
math/dune-localfunctionsFreeBSD2.11.0math/dune-localfunctions 2.11.0: DUNE framework: Local finite elements. FreeBSD port maintained by [email protected].
math/dune-metagridFreeBSDg20231219math/dune-metagrid g20231219: DUNE framework: module implementing a variety of DUNE meta grids. FreeBSD port maintained by [email protected].
math/dune-multidomaingridFreeBSD2.10.0math/dune-multidomaingrid 2.10.0: DUNE framework: meta grid for subdomains spanning parts of host grid. FreeBSD port maintained by [email protected].
math/dune-pdelabFreeBSD2.7.0.20261003math/dune-pdelab 2.7.0.20261003: DUNE framework: PDE solver toolbox. FreeBSD port maintained by [email protected].
math/dune-polygongridFreeBSD2.11.0_1math/dune-polygongrid 2.11.0_1: DUNE framework: 2D polygonal grid. FreeBSD port maintained by [email protected].
math/dune-spgridFreeBSD2.11.0math/dune-spgrid 2.11.0: DUNE framework: A structured, parallel DUNE grid implementation. FreeBSD port maintained by [email protected].
math/dune-typetreeFreeBSD2.11.0math/dune-typetree 2.11.0: DUNE framework: The TypeTree library. FreeBSD port maintained by [email protected].
math/dune-uggridFreeBSD2.11.0_1math/dune-uggrid 2.11.0_1: DUNE framework: The UG Grid Manager. FreeBSD port maintained by [email protected].
math/dune-vtkFreeBSD2.11.0_1math/dune-vtk 2.11.0_1: DUNE framework: File reader and writer for the VTK XML format. FreeBSD port maintained by [email protected].
math/e-anticFreeBSD2.1.1_1math/e-antic 2.1.1_1: Real Embedded Algebraic Number Theory In C. FreeBSD port maintained by [email protected].
math/eclibFreeBSD20261021math/eclib 20261021: C++ library for arithmetic on elliptic curves. FreeBSD port maintained by [email protected].
math/ecosFreeBSD2.0.10math/ecos 2.0.10: Lightweight conic solver for second-order cone programming. FreeBSD port maintained by [email protected].
math/edenmathFreeBSD1.1.1_13math/edenmath 1.1.1_13: Scientific calculator for GNUstep. FreeBSD port maintained by [email protected].
math/eigen3FreeBSD3.4.0_4math/eigen3 3.4.0_4: Lightweight library for vector and matrix math. FreeBSD port maintained by [email protected].
math/eigen5FreeBSD5.0.1math/eigen5 5.0.1: Lightweight library for vector and matrix math. FreeBSD port maintained by [email protected].
math/eispackFreeBSD1.0_15math/eispack 1.0_15: Eigenvalue system package. FreeBSD port maintained by [email protected].
math/elanFreeBSD4.2.4_3math/elan 4.2.4_3: Lean version manager. FreeBSD port maintained by [email protected].
math/elementalFreeBSD1.5.3_3math/elemental 1.5.3_3: Dense and sparse linear algebra, conic optimization, lattice reduction. FreeBSD port maintained by [email protected].
math/elementary-calculatorFreeBSD8.0.1math/elementary-calculator 8.0.1: Simple calculator written in Vala. FreeBSD port maintained by [email protected].
math/elpaFreeBSD2026.02.002math/elpa 2026.02.002: Eigenvalue soLver for Petaflop Applications. FreeBSD port maintained by [email protected].
math/emc2FreeBSD2.17math/emc2 2.17: Graphical editor of two-dimensional mesh geometries. FreeBSD port maintained by [email protected].
math/ensmallenFreeBSD3.11.1math/ensmallen 3.11.1: Flexible C++ library for efficient mathematical optimization. FreeBSD port maintained by [email protected].