smt-solving

There are 0 repository under smt-solving topic.

nicolasAmat / SMPT
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
petri-nets model-checker reachability reachability-analysis model-checking smt sat smt-solving reductions structural-reductions abstraction linear-algebra
Language:Python 28
SophieBosio / contra
A friendly functional language for finding counterexamples 🎯
counterexample haskell pbt property-based quickcheck smt smt-solving
Language:Haskell 13
patrick96 / SMTransform
Find soundness bugs in SMT solvers through equivalent transformations
smt-lib smt-solving
Language:Rust 6
divyeshunadkat / PARQ
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.
invariants parallel-computing chc verification smt-solving distributed-computing automatic-parallelization locality
Language:SMT 2

nicolasAmat / SMPT