yices

Here are 8 public repositories matching this topic...

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

Lattice-based integer linear programming solver

haskell solver linear-programming haskell-bindings ilp glpk decision-procedure lattice-reduction haskell-api ntl ilp-solver yices

Automated Controller Synthesis

Python bindings for yices2

python-bindings smt-solver yices

A Good Snowman Is Hard To Build level editor an solver.

planner sokoban smt yices

A Sokoban level solver.

planner smtp sokoban yices

Yices 2 SMT solver binding for OCaml

ocaml opam yices

Planing as satisfiability ad-hoc library.

library planner smt yices

To associate your repository with the yices topic, visit your repo's landing page and select "manage topics."