aiverification / neuralmc
☆14Updated 2 months ago
Alternatives and similar repositories for neuralmc:
Users that are interested in neuralmc are comparing it to the libraries listed below
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆11Updated last week
- Interactive visualizer for e-graphs☆21Updated 3 months ago
- ☆34Updated 8 months ago
- ☆16Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆20Updated last week
- Automated Controller Synthesis☆15Updated 6 years ago
- Automatically generate a compiler using equality saturation☆28Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Egraphs Modulo Theories☆13Updated last month
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆32Updated last week
- ☆11Updated 9 months ago
- Utilities for constructing a large dataset of LLVM IR☆18Updated 7 months ago
- egraph <-> json☆13Updated 6 months ago
- ☆15Updated last year
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- ☆16Updated 10 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated 8 months ago
- egraph on top of sqlite☆11Updated 3 years ago
- ☆16Updated 3 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 11 months ago
- embedding MLIR in LEAN☆47Updated 9 months ago
- Cube-and-Conquer SAT solver☆33Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆24Updated last year
- Public reference documents for the SMT-LIB standard☆16Updated 3 weeks ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last week
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆16Updated last week
- Tools for manipulating CHC and related files☆14Updated last year