yices

Here are 8 public repositories matching this topic...

Language:All

Filter by language

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

UpdatedJul 18, 2021
C++

touist /touist

Star64

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

UpdatedJul 18, 2024
OCaml

umangm /realsyn

Star15

Automated Controller Synthesis

hybrid-systems smt-solver cvc4 yices cyber-physical-systems z3-smt-solver controller-synthesis

UpdatedJun 27, 2018
Python

SRI-CSL /yices2_python_bindings

Star11

Python bindings for yices2

python-bindings smt-solver yices

UpdatedDec 18, 2024
Python

GerardMT /Snowman-Editor

Star3

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

planner sokoban smt yices

UpdatedDec 16, 2021
Scala

GerardMT /Sokoban-Editor

Star1

A Sokoban level solver.

planner smtp sokoban yices

UpdatedApr 23, 2021
Scala

maelvls /ocamlyices2

Sponsor

Star0

Yices 2 SMT solver binding for OCaml

ocaml opam yices

UpdatedJan 6, 2021
C

GerardMT /Planner

Star0

Planing as satisfiability ad-hoc library.

library planner smt yices

UpdatedApr 23, 2021
Scala

Improve this page

Add a description, image, and links to theyices 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 theyices topic, visit your repo's landing page and select "manage topics."

Learn more

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly