jix / flussabLinks
Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
☆14Updated 7 months ago
Alternatives and similar repositories for flussab
Users that are interested in flussab are comparing it to the libraries listed below
Sorting:
- ☆26Updated last week
- Automatically generate a compiler using equality saturation☆30Updated last year
- Easy SMT solver interaction☆35Updated 3 months ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- embedding MLIR in LEAN☆47Updated last year
- DRAT/DPR proof checker☆9Updated 3 years ago
- benchmarking e-graph extraction☆44Updated last month
- Refreshing automation for inductive equational proofs using e-graphs☆20Updated 11 months ago
- work in progress, playing around with btor2 in rust☆11Updated 2 weeks ago
- BTOR2 MLIR project☆26Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 3 months ago
- ☆16Updated 3 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- FPGA synthesis tool powered by equality saturation and program synthesis.☆12Updated last month
- ☆16Updated last year
- A Rust hashconsing library.☆32Updated 11 months ago
- CAQE is a solver for quantified Boolean formulas☆33Updated 2 years ago
- RISCV Core written in Calyx☆16Updated 10 months ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- Symbolic execution tool for Sail ISA specifications☆73Updated last week
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- Random Generator of Btor2 Files☆10Updated last year
- ☆13Updated 7 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- Egraphs Modulo Theories☆15Updated 2 weeks ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- The source code to the Voss II Hardware Verification Suite☆56Updated this week
- Public reference documents for the SMT-LIB standard☆17Updated last month
- An experimental optimizing compiler for Bril☆70Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 2 weeks ago