GitHub topics: smt-solving
nicolasAmat/SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Language: Python - Size: 8.98 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 27 - Forks: 5
SophieBosio/contra
A friendly functional language for finding counterexamples 🎯
Language: Haskell - Size: 1000 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0
patrick96/SMTransform
Find soundness bugs in SMT solvers through equivalent transformations
Language: Rust - Size: 314 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 0
divyeshunadkat/PARQ Fork of freqhorn/freqhorn
PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.
Language: SMT - Size: 3.1 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
