Page 4 of 192 | Showing port(s) 61 to 80
coinor-cgl
A library of cutting-plane generators.
Version: 0.60.8 | Maintained by: flyingsamson | Categories: math | Variants: universalcoinor-clp
A solver for linear programs
Version: 1.17.9 | Maintained by: flyingsamson | Categories: math | Variants: openblas, universalcoinor-coinutils
Utilities, data structures, and linear algebra methods for COIN-OR projects
Version: 2.11.10 | Maintained by: flyingsamson | Categories: math | Variants: openblas, universalcoinor-osi
A uniform API for calling embedded linear and mixed-integer programming solvers.
Version: 0.108.9 | Maintained by: flyingsamson | Categories: math | Variants: universalColPack
A graph coloring algorithm package
Version: 1.0.10 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: universalconauto
Program for graph isomorphism testing & automorphism group computation
Version: 2.03 | Maintained by: barracuda156 | Categories: math | Variants:conmax
Modern Fortran CONMAX optimization method for general non-linearly constrained function minimization.
Version: 0.0.1 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevelconvertall
Extremely flexible unit converter
Version: 0.8.0 | Maintained by: khorton | Categories: science math | Variants:coq
Proof assistant for higher-order logic
Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqidecotila
A compile-time linear algebra system for C++
Version: 1.2.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugcppoptlib
Header-only C++17 optimization library
Version: 2024.01.03 | Maintained by: barracuda156 | Categories: math | Variants:crfpp
Yet Another CRF toolkit
Version: 0.58 | Maintained by: | Categories: textproc math | Variants: universalcrfsuite
A fast implementation of Conditional Random Fields (CRFs)
Version: 0.12.2 | Maintained by: | Categories: textproc math | Variants: universalcurves
Curves provide mapping a point from 1D to 2D hilbert space.
Version: 20220312 | Maintained by: | Categories: graphics math | Variants:cusp
Generic Parallel Algorithms for Sparse Matrix and Graph
Version: 0.5.1 | Maintained by: | Categories: science math | Variants:cvc4
An automated theorem prover for SMT problems
Version: 1.4 | Maintained by: | Categories: devel math | Variants: debug, java, universaldaglib
Directed acyclic graphs with modern Fortran
Version: 2023.12.31 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gcc13, gccdeveldap
small statistics and graphics package
Version: 3.10 | Maintained by: | Categories: math | Variants: universaldbcsr
Distributed Block Compressed Sparse Row matrix library
Version: 2.7.0 | Maintained by: barracuda156 | Categories: math | Variants: debug, accelerate, atlas, blis, flexiblas, openblas, gcc10, gcc11, gcc12, gcc13, gcc14, mpich, openmpi, tests, universalddeabm
Modern Fortran implementation of the DDEABM Adams–Bashforth algorithm
Version: 3.0.0 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevel3,821 port(s) found
Page 4 of 192 | Showing port(s) 61 to 80