Columpio / RInGenLinks
Regular Invariant Generator and SMTLIB2 code transformer
☆12Updated 3 years ago
Alternatives and similar repositories for RInGen
Users that are interested in RInGen are comparing it to the libraries listed below
Sorting:
- ☆17Updated 3 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Solver for Constrained Horn Clauses☆41Updated last week
- AE-solver and Skolemizer☆17Updated 7 months ago
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- ☆39Updated this week
- Genetic program repair using GHC☆30Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- ☆10Updated 7 months ago
- The Termination Problem Database☆30Updated 2 months ago
- SymDiff-Differential-Program-Verifier☆36Updated 3 weeks ago
- Refreshing automation for inductive equational proofs using e-graphs☆23Updated last year
- Formalization of C++ for verification purposes.☆84Updated this week
- ☆24Updated last month
- An automated deductive program verifier based on concurrent separation logic☆20Updated 3 weeks ago
- ☆11Updated last year
- A SyGuS Solver☆28Updated 2 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 9 months ago
- Tons of Inductive Problems: The Benchmarks☆26Updated 2 years ago
- ☆14Updated 4 years ago
- The Eldarica model checker☆89Updated 2 months ago
- ☆17Updated 3 months ago
- Collection of Automated Reasoners☆31Updated last week
- Egraphs Modulo Theories☆15Updated last month
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 3 years ago
- Partition refinement☆15Updated last year
- SMTInterpol interpolating SMT solver☆68Updated last month
- ☆17Updated 2 years ago
- ☆16Updated 2 years ago