HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"count": 53704,
"next": "https://ports.macports.org/api/v1/ports/?format=api&ordering=updated_at&page=354",
"previous": "https://ports.macports.org/api/v1/ports/?format=api&ordering=updated_at&page=352",
"results": [
{
"name": "GiNaC",
"portdir": "math/GiNaC",
"version": "1.8.10",
"license": "GPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://www.ginac.de/",
"description": "GiNaC is C++ library that provides a set of algebraic capabilities.",
"long_description": "GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "mps",
"github": "Schamschula",
"ports_count": 1677
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"pkgconfig",
"clang-18",
"python314"
]
},
{
"type": "lib",
"ports": [
"readline",
"cln"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"nestedsums",
"py27-swiginac",
"mbdyn",
"xloops"
]
}
]
},
{
"name": "HiGHS",
"portdir": "math/HiGHS",
"version": "1.12.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://ergo-code.github.io/HiGHS/stable/",
"description": "Linear optimization software",
"long_description": "HiGHS is a high performance serial and parallel solver for large-scale sparse linear optimization problems.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [],
"variants": [
"debug",
"clang13",
"clang14",
"clang15",
"clang16",
"clang17",
"clang18",
"clang19",
"clang20",
"clang21",
"clang22",
"clangdevel",
"g95",
"gcc10",
"gcc11",
"gcc12",
"gcc13",
"gcc14",
"gcc15",
"gccdevel",
"gfortran",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18",
"gcc15"
]
},
{
"type": "lib",
"ports": [
"zlib",
"libgcc"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"papilo"
]
}
]
},
{
"name": "LBFGSpp",
"portdir": "math/LBFGSpp",
"version": "0.4.0",
"license": "MIT",
"platforms": "any",
"epoch": 0,
"replaced_by": null,
"homepage": "https://lbfgspp.statr.me",
"description": "Header-only C++ library for L-BFGS and L-BFGS-B algorithms",
"long_description": "LBFGS++ is a header-only C++ library that implements the Limited-memory BFGS algorithm (L-BFGS) for unconstrained minimization problems, and a modified version of the L-BFGS-B algorithm for box-constrained ones.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-20"
]
},
{
"type": "lib",
"ports": [
"eigen3"
]
}
],
"depends_on": []
},
{
"name": "LiDIA",
"portdir": "math/LiDIA",
"version": "2.3.0.20190901",
"license": "GPL-2+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/mkoeppe/LiDIA",
"description": "A library for computational number theory",
"long_description": "A library for computational number theory",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"gmp",
"glpk"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"latte-int"
]
}
]
},
{
"name": "LiE",
"portdir": "math/LiE",
"version": "2.2.2",
"license": "unknown",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://young.sp2mi.univ-poitiers.fr/~marc/LiE/",
"description": "A computer algebra program for Lie group calculations",
"long_description": "LiE is a computer algebra system that is specialised in computations involving (reductive) Lie groups and their representations.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"readline"
]
}
],
"depends_on": []
},
{
"name": "NTPoly",
"portdir": "math/NTPoly",
"version": "3.1.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://william-dawson.github.io/NTPoly",
"description": "Library for computing the functions of sparse matrices",
"long_description": "NTPoly is a massively parallel library for computing the functions of sparse, Hermitian matrices based on polynomial expansions. For sufficiently sparse matrices, most of the matrix functions in NTPoly can be computed in linear time.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"accelerate",
"atlas",
"blis",
"flexiblas",
"openblas",
"clang13",
"clang14",
"clang15",
"clang16",
"clang17",
"clang18",
"clang19",
"clang20",
"clang21",
"clang22",
"g95",
"gcc10",
"gcc11",
"gcc12",
"gcc13",
"gcc14",
"gcc15",
"gfortran",
"mpich",
"openmpi",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18",
"gcc15"
]
},
{
"type": "lib",
"ports": [
"libgcc",
"OpenBLAS",
"mpich-clang18"
]
}
],
"depends_on": []
},
{
"name": "ProofGeneral",
"portdir": "math/ProofGeneral",
"version": "4.2",
"license": "unknown",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://proofgeneral.inf.ed.ac.uk/",
"description": "An emacs mode for interactive prooving",
"long_description": "The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "QSopt_ex",
"portdir": "math/QSopt_ex",
"version": "2.5.10.20170629",
"license": "GPL-3+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM/",
"description": "an exact linear programming solver",
"long_description": "an exact linear programming solver",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"zlib",
"gmp",
"lbzip2"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"TOPCOM"
]
}
]
},
{
"name": "SISL",
"portdir": "math/SISL",
"version": "2021.03.16",
"license": "AGPL-3",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/SINTEF-Geometry/SISL",
"description": "SISL is a comprehensive NURBS library for the modeling and interrogation of curves and surfaces.",
"long_description": "SISL is a comprehensive NURBS library for the modeling and interrogation of curves and surfaces. It is implemented in C.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "TOPCOM",
"portdir": "math/TOPCOM",
"version": "1.1.2",
"license": "GPL-2+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM/",
"description": "Triangulations Of Point Configurations and Oriented Matroids",
"long_description": "Triangulations Of Point Configurations and Oriented Matroids",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"onetbb",
"clang-20"
]
},
{
"type": "lib",
"ports": [
"libpapilo",
"bzip2",
"boost188",
"cddlib",
"gmp",
"QSopt_ex",
"soplex"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"latte-int"
]
}
]
},
{
"name": "TinySVM",
"portdir": "math/TinySVM",
"version": "0.09",
"license": "LGPL-2.1",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://chasen.org/~taku/software/TinySVM/",
"description": "Support Vector Machines (SVMs)",
"long_description": "TinySVM is an implementation of Support Vector Machines (SVMs), for the problem of pattern recognition. Support Vector Machines is a new generation learning algorithms based on recent advances in statistical learning theory, and applied to large number of real-world applications, such as text categorization, hand-written character recognition.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"clang-18"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"knp3",
"yamcha"
]
}
]
},
{
"name": "Vc",
"portdir": "math/Vc",
"version": "1.4.5",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/VcDevel/Vc",
"description": "Portable, zero-overhead SIMD library for C++",
"long_description": "Vc is a free software library to ease explicit vectorization of C++ code. It has an intuitive API and provides portability between different compilers and compiler versions as well as portability between different vector instruction sets. Thus an application written with Vc can be compiled for \n AVX and AVX2 \n SSE2 up to SSE4.2 \n SSE4a, XOP, FMA4, and FMA \n Scalar (fallback which works everywhere)",
"active": true,
"categories": [
"devel",
"math"
],
"maintainers": [
{
"name": "rjvbertin",
"github": "RJVB",
"ports_count": 55
}
],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "VecTcl",
"portdir": "math/VecTcl",
"version": "0.3",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://auriocus.github.io/VecTcl",
"description": "Numeric array and linear algebra extension for Tcl",
"long_description": "This package provides a numerical array extension for Tcl with support for vectors, matrices and higher-rank tensors of integers, floating point and complex numbers. It has built-in support for basic array shaping, slicing and linear algebra subroutines and is designed to integrate seamlessly with Tcl.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"tcl"
]
}
],
"depends_on": []
},
{
"name": "aamath",
"portdir": "math/aamath",
"version": "0.3",
"license": "GPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://fuse.superglue.se/aamath/",
"description": "renders ASCII art from mathematical expressions",
"long_description": "Aamath is a program that reads mathematical expressions in infix notation and renders them as ASCII art. It may be useful to send mathematics through text-only media, such as e-mail or newsgroups.",
"active": true,
"categories": [
"textproc",
"math"
],
"maintainers": [
{
"name": "snc",
"github": "nerdling",
"ports_count": 159
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"byacc",
"flex",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ncurses",
"readline"
]
}
],
"depends_on": []
},
{
"name": "acl2",
"portdir": "math/acl2",
"version": "8.7",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://www.cs.utexas.edu/users/moore/acl2/v8-7",
"description": "Applicative Common Lisp / A Computational Logic",
"long_description": "ACL2 (Applicative Common Lisp / A Computational Logic) is the successor to nqthm, the Boyer-Moore theorem prover. ACL2 can be used to automatically or semi-automatically prove theorems and has been used extensively in real applications (e.g., proving the correctness of certain calculations in the floating point unit of the AMD K5 microprocessor. ACL2 is a very large, multipurpose system. You can use it as a programming language, a specification language, a modeling language, a formal mathematical logic, or a semi-automatic theorem prover. Because the meta-language is the same as the language (a subset of Common Lisp), it is very flexible.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "ijackson",
"github": "JacksonIsaac",
"ports_count": 44
}
],
"variants": [
"emacs",
"ccl",
"certify",
"regression",
"nonstd"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"sbcl"
]
}
],
"depends_on": []
},
{
"name": "adept2",
"portdir": "math/adept2",
"version": "2024.01.24",
"license": "Apache-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://www.met.reading.ac.uk/clouds/adept",
"description": "Fast automatic differentiation library in C++",
"long_description": "Combined array and automatic differentiation library in C++.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"accelerate",
"atlas",
"blis",
"flexiblas",
"openblas",
"g95",
"gcc10",
"gcc11",
"gcc12",
"gcc13",
"gcc14",
"gcc15",
"gccdevel",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18",
"gcc15",
"autoconf",
"automake",
"libtool"
]
},
{
"type": "lib",
"ports": [
"libgcc",
"OpenBLAS"
]
},
{
"type": "test",
"ports": [
"gsl"
]
}
],
"depends_on": []
},
{
"name": "apophenia",
"portdir": "math/apophenia",
"version": "20160308",
"license": "GPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://apophenia.info",
"description": "A C library for statistical and scientific computing",
"long_description": "Apophenia is an open statistical library for working with data sets and statistical models. It provides functions on the same level as those of the typical stats package (such as OLS, Probit, or singular value decomposition) but gives the user more flexibility to be creative in model-building. The core functions are written in C.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [
{
"name": "el.dirte",
"github": "",
"ports_count": 1
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"sqlite3",
"gsl"
]
}
],
"depends_on": []
},
{
"name": "arborx",
"portdir": "math/arborx",
"version": "1.7",
"license": "BSD",
"platforms": "any",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/arborx/ArborX",
"description": "An open-source library designed to provide performance portable algorithms for geometric search",
"long_description": "ArborX is An open-source library designed to provide performance portable algorithms for geometric search.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "mcalhoun",
"github": "MarcusCalhoun-Lopez",
"ports_count": 1685
}
],
"variants": [
"debug",
"tests"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-20"
]
},
{
"type": "lib",
"ports": [
"libomp",
"kokkos"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"deal.ii"
]
}
]
},
{
"name": "arpack",
"portdir": "math/arpack",
"version": "3.9.1",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/opencollab/arpack-ng",
"description": "Package for solving large-scale eigenvalue problems",
"long_description": "ARPACK is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems. Parallel ARPACK (PARPACK) is included if built with an MPI variant.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"accelerate",
"atlas",
"blis",
"flexiblas",
"openblas",
"clang13",
"clang14",
"clang15",
"clang16",
"clang17",
"clang18",
"clang19",
"clang20",
"clang21",
"clang22",
"clangdevel",
"g95",
"gcc10",
"gcc11",
"gcc12",
"gcc13",
"gcc14",
"gcc15",
"gccdevel",
"gfortran",
"mpich",
"openmpi",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"gcc15",
"pkgconfig",
"clang-18",
"autoconf",
"automake",
"libtool"
]
},
{
"type": "lib",
"ports": [
"OpenBLAS",
"libgcc"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"shogun",
"shogun-devel",
"tapkee",
"octave",
"deal.ii",
"hpddm",
"igraph",
"getdp",
"nektarpp"
]
}
]
},
{
"name": "asl",
"portdir": "math/asl",
"version": "20240106",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ampl/asl",
"description": "ASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library",
"long_description": "ASL is A Modeling Language for Mathematical Programming (AMPL) Solver Library.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"threads",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"libomp"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"coinor-cbc",
"coinor-clp",
"ipopt"
]
}
]
},
{
"name": "atlas",
"portdir": "math/atlas",
"version": "3.10.2",
"license": "BSD",
"platforms": "{darwin < 20}",
"epoch": 0,
"replaced_by": null,
"homepage": "http://math-atlas.sourceforge.net/",
"description": "Portable optimal linear algebra software",
"long_description": "Provides a complete BLAS and LAPACK API.\nATLAS achieves performance on par with machine-specific tuned libraries.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "vince",
"github": "Veence",
"ports_count": 25
}
],
"variants": [
"gcc5",
"gcc49",
"mpclang37",
"nofortran",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"gcc5"
]
},
{
"type": "lib",
"ports": [
"libgcc6",
"libgcc"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"shogun",
"shogun-devel",
"levmar",
"scamp"
]
}
]
},
{
"name": "bact",
"portdir": "math/bact",
"version": "0.13",
"license": "GPL",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://chasen.org/~taku/software/bact/",
"description": "a Boosting Algorithm for Classification of Trees",
"long_description": "BACT is a machine learning tool for labeled ordered trees. The important characteristic is that the input example x is represented not in a numerical feature vector (bag-of-words) but in a labeled ordered tree.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "bashplotlib",
"portdir": "math/bashplotlib",
"version": "0.6.5",
"license": "BSD",
"platforms": "{darwin any}",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/glamp/bashplotlib",
"description": "Make scatter or histogram plots in the terminal",
"long_description": "Make scatter or histogram plots in the terminal",
"active": true,
"categories": [
"math",
"python"
],
"maintainers": [
{
"name": "amake",
"github": "amake",
"ports_count": 166
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18",
"py314-build",
"py314-installer",
"py314-setuptools",
"py314-wheel"
]
},
{
"type": "lib",
"ports": [
"python314"
]
}
],
"depends_on": []
},
{
"name": "basiclu",
"portdir": "math/basiclu",
"version": "2.2.0",
"license": "(GPL-3 or MIT)",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ERGO-Code/basiclu",
"description": "Sparse LU factorization and update",
"long_description": "Sparse LU factorization and update",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "bayon",
"portdir": "math/bayon",
"version": "0.1.1",
"license": "GPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/fujimizu/bayon",
"description": "a simple and fast hard-clustering tool",
"long_description": "Bayon is a simple and fast hard-clustering tool, and supports Repeated Bisection clustering and K-means clustering.",
"active": true,
"categories": [
"textproc",
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"sparsehash"
]
}
],
"depends_on": []
},
{
"name": "bcv",
"portdir": "math/bcv",
"version": "2.2",
"license": "GPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://gbarbier.free.fr/prj/dev/#bcv",
"description": "command line number converter",
"long_description": "Converts number to/from decimal, hex, bin, octal and ascii on the command line.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "blaspp",
"portdir": "math/blaspp",
"version": "2024.10.26",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/icl-utk-edu/blaspp",
"description": "C++ API for the Basic Linear Algebra Subroutines",
"long_description": "C++ API for the Basic Linear Algebra Subroutines",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [],
"variants": [
"universal",
"debug",
"accelerate",
"atlas",
"blis",
"flexiblas",
"openblas"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"libomp",
"OpenBLAS"
]
},
{
"type": "test",
"ports": [
"python312"
]
}
],
"depends_on": []
},
{
"name": "bliss",
"portdir": "math/bliss",
"version": "0.77",
"license": "LGPL-3+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://users.aalto.fi/~tjunttil/bliss/",
"description": "Compute automorphism groups of graphs",
"long_description": "bliss is an open-source tool for computing canonical labelings and automorphism groups of graphs.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [
{
"name": "szhorvat",
"github": "szhorvat",
"ports_count": 18
}
],
"variants": [
"universal",
"debug"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
},
{
"type": "extract",
"ports": [
"unzip"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"polymake",
"sympol"
]
}
]
},
{
"name": "blitz",
"portdir": "math/blitz",
"version": "1.0.2",
"license": "(LGPL-3+ or BSD or Artistic-2)",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/blitzpp/blitz",
"description": "a C++ class library for scientific computing",
"long_description": "Blitz++ is a C++ class library for scientific computing which provides performance on par with Fortran 77/90. It uses template techniques to achieve high performance.",
"active": true,
"categories": [
"devel",
"math"
],
"maintainers": [
{
"name": "mcalhoun",
"github": "MarcusCalhoun-Lopez",
"ports_count": 1685
}
],
"variants": [
"debug",
"clang13",
"clang14",
"clang15",
"clang16",
"clang17",
"clang18",
"clang19",
"clang20",
"clang21",
"clang22",
"clangdevel",
"gcc10",
"gcc11",
"gcc12",
"gcc13",
"gcc14",
"gcc15",
"gccdevel",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"python38",
"clang-18"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"blitzwave",
"itl"
]
}
]
},
{
"name": "blitzwave",
"portdir": "math/blitzwave",
"version": "0.8.0",
"license": "GPL-2+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://oschulz.github.io/blitzwave/",
"description": "C++ wavelet mini-library building on the blitz++ array template library",
"long_description": "blitzwave is a C++ wavelet mini-library building on the blitz++ array template library. blitzwave is heavily templated and supports wavelet decompositions of n-dimensional arrays of various numerical data types. You can define and use your own wavelets, a number of pre-defined, ready-to-use wavelets are available",
"active": true,
"categories": [
"devel",
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"blitz"
]
}
],
"depends_on": []
},
{
"name": "boolector",
"portdir": "math/boolector",
"version": "3.2.4",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/Boolector/boolector",
"description": "an SMT solver for the theory of bit-vectors",
"long_description": "Boolector is an SMT solver for the theory of bit-vectors and the extensional theory of arrays over bit-vectors. It won first places in the prestigious bit-vector and bit-vector with arrays tracks in the SMT competition 2008. In the latest SMT competition, it won the second place in the bit-vector division and again the first place in the division of bit-vectors and arrays.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"gtest",
"picosat",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"gmp",
"btor2tools"
]
}
],
"depends_on": []
},
{
"name": "bpack",
"portdir": "math/bpack",
"version": "3.2.0",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://portal.nersc.gov/project/sparse/butterflypack",
"description": "ButterflyPACK is a mathematical software for rapidly solving large-scale dense linear systems that exhibit off-diagonal rank-deficiency",
"long_description": "ButterflyPACK is a mathematical software for rapidly solving large-scale dense linear systems that exhibit off-diagonal rank-deficiency",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [],
"variants": [
"debug",
"accelerate",
"atlas",
"blis",
"flexiblas",
"openblas",
"clang13",
"clang14",
"clang15",
"clang16",
"clang17",
"clang18",
"clang19",
"clang20",
"clang21",
"clang22",
"g95",
"gcc10",
"gcc11",
"gcc12",
"gcc13",
"gcc14",
"gcc15",
"gfortran",
"mpich",
"openmpi",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"pkgconfig",
"clang-18",
"gcc15"
]
},
{
"type": "lib",
"ports": [
"zfp",
"libgcc",
"mpich-clang18",
"libomp",
"OpenBLAS",
"scalapack"
]
}
],
"depends_on": []
},
{
"name": "btor2tools",
"portdir": "math/btor2tools",
"version": "20230816",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/Boolector/btor2tools",
"description": "a generic parser and tools for the BTOR2 format",
"long_description": "The Btor2Tools package provides a generic parser and tools for the BTOR2 format.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"boolector"
]
}
]
},
{
"name": "buddy",
"portdir": "math/buddy",
"version": "2.4",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://buddy.sourceforge.net/",
"description": "binary decision diagram package",
"long_description": "binary decision diagram package",
"active": true,
"categories": [
"devel",
"science",
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"clang-18"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-buddy",
"Maude"
]
}
]
},
{
"name": "casadi",
"portdir": "math/casadi",
"version": "3.7.2",
"license": "LGPL-3",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/casadi/casadi",
"description": "CasADi is a symbolic framework for numeric optimization",
"long_description": "CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "aw.kornilov",
"github": "ierofant",
"ports_count": 15
}
],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "ceres-solver",
"portdir": "math/ceres-solver",
"version": "2.2.0",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://ceres-solver.org",
"description": "Library for modeling and solving large, complicated optimization problems.",
"long_description": "Ceres Solver is an open source C++ library for modeling and solving large, complicated optimization problems. It can solve nonlinear least squares problems and general unconstrained optimization problems.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-20"
]
},
{
"type": "lib",
"ports": [
"SuiteSparse_config",
"SuiteSparse_AMD",
"SuiteSparse_CAMD",
"SuiteSparse_CCOLAMD",
"gflags",
"SuiteSparse_CHOLMOD",
"SuiteSparse_SPQR",
"eigen3",
"metis",
"SuiteSparse_COLAMD",
"google-glog"
]
}
],
"depends_on": []
},
{
"name": "clac",
"portdir": "math/clac",
"version": "0.3.4",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/soveran/clac",
"description": "Command-line, stack-based calculator with postfix notation",
"long_description": "Command-line, stack-based calculator with postfix notation",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "judaew",
"github": "judaew",
"ports_count": 688
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "clasp",
"portdir": "math/clasp",
"version": "3.3.10",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://potassco.org/clasp/",
"description": "A conflict-driven nogood learning answer set solver",
"long_description": "clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"tests",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "classias",
"portdir": "math/classias",
"version": "1.1",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://www.chokkan.org/software/classias/",
"description": "a collection of machine-learning algorithms for classification",
"long_description": "Classias is a collection of machine-learning algorithms for classification.",
"active": true,
"categories": [
"textproc",
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
null
]
},
{
"type": "run",
"ports": [
null
]
}
],
"depends_on": []
},
{
"name": "clblas",
"portdir": "math/clblas",
"version": "2.12",
"license": "Apache",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/clMathLibraries/clBLAS",
"description": "A software library containing BLAS functions written in OpenCL",
"long_description": "A software library containing BLAS functions written in OpenCL",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "stromnov",
"github": "stromnov",
"ports_count": 2959
}
],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "clblast",
"portdir": "math/clblast",
"version": "1.6.2",
"license": "Apache-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/CNugteren/CLBlast",
"description": "Tuned OpenCL BLAS",
"long_description": "Tuned OpenCL BLAS",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "stromnov",
"github": "stromnov",
"ports_count": 2959
}
],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "clingcon",
"portdir": "math/clingcon",
"version": "5.2.1",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://potassco.org/clingcon",
"description": "Extension of clingo to handle constraints over integers",
"long_description": "Clingcon is an answer set solver for constraint logic programs, building upon the answer set solver clingo. It extends the high-level modeling language of ASP with constraint solving capacities. Constraints over finite domain integer variables can be used in logic programs. Clingcon adopts state-of-the-art techniques from the area of SMT, like conflict-driven learning and theory propagation. It uses lazy nogood and variable generation on the order encoding and features several preprocessing techniques.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-20"
]
},
{
"type": "lib",
"ports": [
"clingo"
]
}
],
"depends_on": []
},
{
"name": "clingo",
"portdir": "math/clingo",
"version": "5.7.1",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://potassco.org/clingo/",
"description": "An Answer Set Programming system to ground and solve logic programs.",
"long_description": "Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-20"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"aspcud",
"clingcon"
]
}
]
},
{
"name": "cliquer",
"portdir": "math/cliquer",
"version": "1.21",
"license": "GPL-2+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://users.aalto.fi/~pat/cliquer.html",
"description": "Find cliques in graphs",
"long_description": "Cliquer is a program for efficiently finding cliques in arbitrary weighted graphs.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [
{
"name": "szhorvat",
"github": "szhorvat",
"ports_count": 18
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "cln",
"portdir": "math/cln",
"version": "1.3.7",
"license": "GPL-2+",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://www.ginac.de/CLN/",
"description": "Class Library for Numbers",
"long_description": "CLN is a C++ library providing a rich library of numeric functions.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "mps",
"github": "Schamschula",
"ports_count": 1677
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"gmp"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"cantor",
"GiNaC",
"py26-clnum"
]
}
]
},
{
"name": "cmh",
"portdir": "math/cmh",
"version": "1.1.1",
"license": "GPL-3",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://www.multiprecision.org/cmh/home.html",
"description": "Compute Igusa class polynomials",
"long_description": "Compute Igusa class polynomials",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"autoconf",
"automake",
"libtool",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"fplll",
"gmp",
"mpfrcx",
"libmpc",
"mpfr",
"pari"
]
}
],
"depends_on": []
},
{
"name": "cminpack",
"portdir": "math/cminpack",
"version": "1.3.11",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/devernay/cminpack",
"description": "Solving nonlinear equations and nonlinear least squares problems",
"long_description": "A C/C++ rewrite of the MINPACK software (originally in Fortran) for solving nonlinear equations and nonlinear least squares problems.",
"active": true,
"categories": [
"math"
],
"maintainers": [],
"variants": [
"debug",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"cmake",
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "cmsvlib",
"portdir": "math/cmsvlib",
"version": "2013-04-19",
"license": "unknown",
"platforms": "any",
"epoch": 1,
"replaced_by": null,
"homepage": "http://www.physics.wisc.edu/~craigm/idl/cmsave.html",
"description": "Read and Write IDL SAVE files",
"long_description": "allows interactive users and programmers to read, write and interrogate IDL SAVE files.",
"active": true,
"categories": [
"science",
"math"
],
"maintainers": [
{
"name": "takeshi",
"github": "tenomoto",
"ports_count": 53
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
}
],
"depends_on": []
},
{
"name": "coinor-cbc",
"portdir": "math/coinor-cbc",
"version": "2.10.11",
"license": "EPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/coin-or/cbc",
"description": "An LP-based branch-and-cut library",
"long_description": "CBC is an open-source MILP solver. It uses many of the COIN-OR components and is designed to be used with CLP. It is available as a library and as a standalone solver.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "flyingsamson",
"github": "flyingsamson",
"ports_count": 18
}
],
"variants": [
"openblas",
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"pkgconfig",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"glpk",
"mumps",
"asl",
"readline",
"coinor-clp",
"coinor-coinutils",
"coinor-osi",
"coinor-cgl",
"OpenBLAS"
]
}
],
"depends_on": []
},
{
"name": "coinor-cgl",
"portdir": "math/coinor-cgl",
"version": "0.60.8",
"license": "EPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/coin-or/cgl",
"description": "A library of cutting-plane generators.",
"long_description": "The COIN-OR Cut Generation Library (Cgl) is an open collection of cutting plane implementations (\"cut generators\") for use in teaching, research, and applications. Cgl can be used with other COIN-OR packages that make use of cuts, such as the mixed-integer linear programming solver Cbc. Each cut generator has its own maintainer who leads the development of its functionality, testing, and documentation. See below for a listing of available generators. All the generators are combined in one library when Cgl is compiled.",
"active": true,
"categories": [
"math"
],
"maintainers": [
{
"name": "flyingsamson",
"github": "flyingsamson",
"ports_count": 18
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"pkgconfig",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"coinor-clp",
"coinor-coinutils",
"coinor-osi"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"coinor-cbc"
]
}
]
}
]
}