Page 4 of 187 | Showing port(s) 61 to 80
A library of cutting-plane generators.
Version: 0.60.8 | Maintained by: flyingsamson | Categories: math | Variants: universalA solver for linear programs
Version: 1.17.9 | Maintained by: flyingsamson | Categories: math | Variants: openblas, universalUtilities, data structures, and linear algebra methods for COIN-OR projects
Version: 2.11.10 | Maintained by: flyingsamson | Categories: math | Variants: openblas, universalA uniform API for calling embedded linear and mixed-integer programming solvers.
Version: 0.108.9 | Maintained by: flyingsamson | Categories: math | Variants: universalA graph coloring algorithm package
Version: 1.0.10 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: universalProgram for graph isomorphism testing & automorphism group computation
Version: 2.03 | Maintained by: barracuda156 | Categories: math | Variants: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, gccdevelExtremely flexible unit converter
Version: 0.8.0 | Maintained by: khorton | Categories: science math | Variants:Proof assistant for higher-order logic
Version: 8.13.2 | Maintained by: pmetzger | Categories: lang math | Variants: doc, coqideA compile-time linear algebra system for C++
Version: 1.2.1 | Maintained by: barracuda156 | Categories: science math | Variants: debugYet Another CRF toolkit
Version: 0.58 | Maintained by: | Categories: textproc math | Variants: universalA fast implementation of Conditional Random Fields (CRFs)
Version: 0.12.2 | Maintained by: | Categories: textproc math | Variants: universalCurves provide mapping a point from 1D to 2D hilbert space.
Version: 20220312 | Maintained by: catap | Categories: graphics math | Variants:Generic Parallel Algorithms for Sparse Matrix and Graph
Version: 0.5.1 | Maintained by: | Categories: science math | Variants:An automated theorem prover for SMT problems
Version: 1.4 | Maintained by: | Categories: devel math | Variants: debug, java, universalDirected acyclic graphs with modern Fortran
Version: 2021.11.26 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevelsmall statistics and graphics package
Version: 3.10 | Maintained by: | Categories: math | Variants: universalDistributed Block Compressed Sparse Row matrix library
Version: 2.6.0 | Maintained by: barracuda156 | Categories: math | Variants: debug, accelerate, atlas, blis, flexiblas, gcc12, openblas, gcc10, gcc11, gcc13, mpich, openmpi, tests, universalModern Fortran implementation of the DDEABM Adams–Bashforth algorithm
Version: 3.0.0 | Maintained by: barracuda156 | Categories: math fortran | Variants: gcc10, gcc11, gcc12, gccdevela C++ software library supporting the creation of finite element codes
Version: 9.4.2 | Maintained by: MarcusCalhoun-Lopez | Categories: science math | Variants: debug, accelerate, atlas, blis, flexiblas, openblas, clang10, clang11, clang12, clang13, clang14, clang15, clang16, clang17, clang18, clang50, clang60, clang70, clang80, clang90, clangdevel, g95, gcc10, gcc11, gcc12, gcc13, gccdevel, gfortran, mpich, openmpi, docs, python, universalPage 4 of 187 | Showing port(s) 61 to 80