MonoSAT - An SMT solver for Monotonic Theories
☆116Mar 21, 2025Updated 11 months ago
Alternatives and similar repositories for monosat
Users that are interested in monosat are comparing it to the libraries listed below
Sorting:
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- ☆14Jun 18, 2023Updated 2 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- ☆11Mar 3, 2021Updated 5 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- ☆11Jul 1, 2025Updated 8 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 months ago
- SRI Sally: A model checker for infinite-state systems.☆77Jul 31, 2025Updated 7 months ago
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆560Oct 23, 2025Updated 4 months ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- ☆19Dec 29, 2014Updated 11 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Sep 14, 2022Updated 3 years ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆64May 31, 2015Updated 10 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- ☆13Jun 12, 2024Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- CoreIR Symbolic Analyzer☆75Oct 27, 2020Updated 5 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Apr 21, 2023Updated 2 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago