NikolajBjorner / ShonanArtOfSATLinks
Schedule for ArtOfSAT
☆10Updated last year
Alternatives and similar repositories for ShonanArtOfSAT
Users that are interested in ShonanArtOfSAT are comparing it to the libraries listed below
Sorting:
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 2 months ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- Egraphs Modulo Theories☆13Updated 3 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- ☆16Updated 5 years ago
- Public reference documents for the SMT-LIB standard☆17Updated last week
- Solver for Constrained Horn Clauses☆39Updated last week
- CNF minimizer and minimal independent set minimizer☆19Updated this week
- ☆15Updated last year
- ☆34Updated 10 months ago
- Interactive visualizer for e-graphs☆21Updated 5 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆20Updated 10 months ago
- egraph on top of sqlite☆11Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- TriCera: a model checker for C programs☆25Updated last week
- CAQE is a solver for quantified Boolean formulas☆33Updated 2 years ago
- ☆9Updated last year
- Binary analysis in HOL☆40Updated 2 months ago
- Structured BVA☆37Updated last year
- ☆11Updated 11 months ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 9 years ago
- A formally verified bug finder☆14Updated 6 months ago
- ☆17Updated 2 years ago
- fast probabilistic symmetry detection on graphs☆14Updated 3 weeks ago
- AE-solver and Skolemizer☆17Updated 5 months ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated last month
- Pono: A flexible and extensible SMT-based model checker☆103Updated this week