markusa4 / dejavuLinks
fast probabilistic symmetry detection on graphs
☆14Updated 2 weeks ago
Alternatives and similar repositories for dejavu
Users that are interested in dejavu are comparing it to the libraries listed below
Sorting:
- Egraphs Modulo Theories☆13Updated 3 months ago
- The anytime MaxSAT solver Loandra☆17Updated 3 weeks ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 2 months ago
- Synthesis of loop-free programs☆16Updated this week
- E-Graph library☆14Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 2 months ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆12Updated last month
- Connecting bv_decide to SMTLIB.☆12Updated 2 weeks ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- work in progress, playing around with btor2 in rust☆11Updated last week
- Automatically generate a compiler using equality saturation☆29Updated last year
- Tools for manipulating CHC and related files☆14Updated 2 years ago
- ☆23Updated 2 years ago
- ☆13Updated last month
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- ☆12Updated 7 years ago
- Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.☆28Updated this week
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- ☆16Updated 3 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated this week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- Schedule for ArtOfSAT☆10Updated last year
- SLOT: SMT-LLVM Optimizing Translation☆56Updated last month
- ☆28Updated 2 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆11Updated 11 months ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆15Updated 4 months ago
- ☆11Updated 11 months ago