GaloisInc / blt Star 65 Code Issues Pull requests Lattice-based integer linear programming solver haskell solver linear-programming haskell-bindings ilp glpk decision-procedure lattice-reduction haskell-api ntl ilp-solver yices Updated Jul 18, 2021 C++
touist / touist Star 64 Code Issues Pull requests TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers) education research ocaml problem-solving propositional-logic smt minisat smt-lib sat dimacs yices qbf Updated Jul 18, 2024 OCaml
umangm / realsyn Star 15 Code Issues Pull requests Automated Controller Synthesis hybrid-systems smt-solver cvc4 yices cyber-physical-systems z3-smt-solver controller-synthesis Updated Jun 27, 2018 Python
SRI-CSL / yices2_python_bindings Star 10 Code Issues Pull requests Python bindings for yices2 python-bindings smt-solver yices Updated Dec 18, 2024 Python
GerardMT / Snowman-Editor Star 3 Code Issues Pull requests A Good Snowman Is Hard To Build level editor an solver. planner sokoban smt yices Updated Dec 16, 2021 Scala
GerardMT / Sokoban-Editor Star 1 Code Issues Pull requests A Sokoban level solver. planner smtp sokoban yices Updated Apr 23, 2021 Scala
GerardMT / Planner Star 0 Code Issues Pull requests Planing as satisfiability ad-hoc library. library planner smt yices Updated Apr 23, 2021 Scala
maelvls / ocamlyices2 Sponsor Star 0 Code Issues Pull requests Yices 2 SMT solver binding for OCaml ocaml opam yices Updated Jan 6, 2021 C