#solver (16 Repositories)
Ranked open-source repositories tagged with #solver, scored by pull request acceptance likelihood and maintainer engagement velocity.
33.6%
11.5h
16 repositories tagged #solver
asc-community/AngouriMath
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
martinjrobins/diffsol
ODE solver library in Rust
MIT-Lu-Lab/cuPDLPx
A GPU-Accelerated First-Order LP Solver
jump-dev/Convex.jl
A Julia package for disciplined convex programming
apache/commons-math
Apache Commons Math
rpm-software-management/libdnf
Package management library.
Gbury/mSAT
A modular sat/smt solver with proof output.
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
JuliaMPC/NLOptControl.jl
nonlinear control optimization tool
oxfordcontrol/COSMO.jl
COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.
b-inary/desktop-postflop
[Development suspended] Advanced open-source Texas Hold'em GTO solver with optimized performance
Tnze/ffxiv-best-craft
A crafting simulator and solver for FF14 with friendly GUI.
AIBluefisher/DAGSfM
Distributed and Graph-based Structure from Motion. This project includes the official implementation of our Pattern Recognition 2020 paper: Graph-Based Parallel Large Scale Structure from Motion.
coin-or/SHOT
A solver for mixed-integer nonlinear optimization problems
chocoteam/choco-solver
An open-source Java library for Constraint Programming
bupticybee/TexasSolver
🚀 A very efficient Texas Holdem GTO solver :spades::hearts::clubs::diamonds: