2 results found Sort:

GaloisInc
blt GaloisInc
10
65
mit
40
Lattice-based integer linear programming solver
ilp ntl glpk yices solver haskell ilp-solver haskell-api haskell-bindings lattice-reduction decision-procedure linear-programming
Created 2016-11-15
24 commits to master branch, last one 3 years ago
touist
touist touist
12
64
mit
9
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
qbf sat smt ocaml yices dimacs minisat smt-lib research education problem-solving propositional-logic
Created 2015-01-31
1,570 commits to master branch, last one 3 years ago