Public reference documents for the SMT-LIB standard
☆22Jul 28, 2026Updated 3 months ago
Alternatives and similar repositories for SMT-LIB-2
Users that are interested in SMT-LIB-2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ocaml implementation of conflict-driven reasoning☆15Jul 13, 2018Updated 8 years ago
- Functional Algorithms Design☆19Oct 18, 2026Updated 2 weeks ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆30Nov 17, 2022Updated 3 years ago
- Visualization tool for your IO-uring workload☆22Aug 19, 2024Updated 2 years ago
- Dissect OCaml compiled programs, and weight their content☆25Nov 2, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- SRI LibPoly is a C library for manipulating polynomials☆65Oct 22, 2026Updated last week
- OCaml + Fly.io☆11Oct 1, 2026Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 years ago
- Floating Point Semantics Mechanization for Lean☆26Jun 18, 2026Updated 4 months ago
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated last week
- OCaml bindings for batsat (https://github.com/c-cube/batsat)☆12Mar 23, 2022Updated 4 years ago
- ☆25Mar 24, 2023Updated 3 years ago
- [private joke] IRC bot for a private channel on freenode☆19May 28, 2026Updated 5 months ago
- Prof. Spacetime☆33Nov 6, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆31May 28, 2026Updated 5 months ago
- SRI Sally: A model checker for infinite-state systems.☆80Jul 31, 2025Updated last year
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated 2 weeks ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- Pono: A flexible and extensible SMT-based model checker☆135Updated this week
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆60Jun 30, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- A Deductive Verification Tool for OCaml Programs☆85Sep 10, 2026Updated last month
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆27Sep 16, 2026Updated last month
- The Z3-Noodler String Solver☆34Updated this week
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Apr 7, 2026Updated 6 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆93Updated this week
- ☆48Oct 22, 2026Updated last week
- Pretty-printing for error source locations☆39Jun 1, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formal Semantics for Why3☆21Jul 15, 2026Updated 3 months ago
- SMTInterpol interpolating SMT solver☆73Updated this week
- The Package Calculus☆13Aug 5, 2026Updated 2 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 6 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year