sampsyo / minisynthLinks
program synthesis is possible
☆41Updated 5 years ago
Alternatives and similar repositories for minisynth
Users that are interested in minisynth are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- The LTSmin model checking toolset☆60Updated 7 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- ☆40Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- ☆16Updated 3 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Python bindings for egg☆49Updated 2 years ago
- SRI LibPoly is a C library for manipulating polynomials☆51Updated last week
- A SyGuS Solver☆28Updated last month
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- benchmarking e-graph extraction☆44Updated last month
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated last week
- Python term rewriting☆29Updated 12 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆127Updated 3 weeks ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- Synthesis Format Conversion Tool☆24Updated last month
- The MemCAD static analyzer☆26Updated 3 years ago
- embedding MLIR in LEAN☆47Updated last year
- ☆28Updated 2 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆107Updated this week
- Staged Abstract Interpreters☆66Updated 2 years ago