sampsyo / minisynth
program synthesis is possible
☆39Updated 4 years ago
Related projects: ⓘ
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 10 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆31Updated 3 years ago
- ☆13Updated 2 years ago
- Python bindings for the egg-smol rust library☆62Updated last week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆69Updated 3 months ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆17Updated last month
- ☆40Updated 5 years ago
- Python bindings for egg☆46Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆24Updated 3 months ago
- ☆32Updated 5 months ago
- The LTSmin model checking toolset☆52Updated 6 months ago
- Specify and synthesize systems using symbolic algorithms☆45Updated 7 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆66Updated last year
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- Pedagogical first-order prover in Python☆70Updated 2 months ago
- A language for symbolic transitions system, inspired by Ivy.☆64Updated 5 months ago
- An curated list of papers on program synthesis.☆67Updated 5 years ago
- ☆11Updated 2 years ago
- ☆62Updated 3 months ago
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- rules for writing and typesetting☆23Updated 2 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 9 months ago
- An implementation of a SAT solver using the CUDA library☆15Updated 6 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆16Updated 4 years ago
- A synthesis-enabled solver for relational logic☆28Updated 6 years ago
- The Cubicle model checker☆14Updated 6 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Datalog + Egg = Good☆65Updated last year
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆12Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago