smt-lib

Here are 4 public repositories matching this topic...

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers

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

A frontend for multiple SMT solvers in OCaml

ocaml webassembly symbolic-execution z3 smt smt-lib alt-ergo cvc5 colibri2 bitwuzla

A constraint solver built from scratch in OCaml

solver logic logic-programming sat-solver smt smt-solver hacktoberfest solvers theories smt-lib sat

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

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