yices

Here are 8 public repositories matching this topic...

GaloisInc / blt

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

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

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

Python bindings for yices2

python-bindings smt-solver yices

Updated Dec 6, 2021
Python

GerardMT / Snowman-Editor

Star

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

planner sokoban smt yices

Updated Dec 16, 2021
Scala

GerardMT / Sokoban-Editor

Star

A Sokoban level solver.

planner smtp sokoban yices

Updated Apr 23, 2021
Scala

maelvls / ocamlyices2

Sponsor

Star

Yices 2 SMT solver binding for OCaml

ocaml opam yices

Updated Jan 6, 2021
C

GerardMT / Planner

Star

Planing as satisfiability ad-hoc library.

library planner smt yices

Updated Apr 23, 2021
Scala

Improve this page

Add a description, image, and links to the yices topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

yices

Here are 8 public repositories matching this topic...

GaloisInc / blt

touist / touist

umangm / realsyn

SRI-CSL / yices2_python_bindings

GerardMT / Snowman-Editor

GerardMT / Sokoban-Editor

maelvls / ocamlyices2

GerardMT / Planner

Improve this page

Add this topic to your repo