sampsyo / minisynthLinks
program synthesis is possible
☆40Updated 6 years ago
Alternatives and similar repositories for minisynth
Users that are interested in minisynth are comparing it to the libraries listed below
Sorting:
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated last month
- Python term rewriting☆30Updated 12 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- The LTSmin model checking toolset☆59Updated last year
- ☆16Updated 3 years ago
- benchmarking e-graph extraction☆46Updated 6 months ago
- The probSAT SAT Solver☆25Updated 3 years ago
- Specify and synthesize systems using symbolic algorithms☆51Updated last year
- Automatically generate a compiler using equality saturation☆34Updated last year
- ☆41Updated 6 years ago
- ☆90Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆143Updated 5 months ago
- SRI LibPoly is a C library for manipulating polynomials☆51Updated this week
- The Cubicle model checker☆14Updated last month
- ☆36Updated 2 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 5 months ago
- An interface to SAT solver tools (like minisat)☆62Updated 3 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- ☆24Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- An curated list of papers on program synthesis.☆70Updated 6 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆22Updated 2 weeks ago