All Categories → No Category → ilp-solver

Top 2 ilp-solver open source projects

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

Lattice-based integer linear programming solver

✭ 60

C++TeX Scilab HTML c haskell solver linear-programming haskell-bindings ilp glpk decision-procedure lattice-reduction haskell-api ntl ilp-solver yices

1-2 of 2 ilp-solver projects