kkrawiec / CDGP
Counterexample-Driven Genetic Programming
☆17Updated 2 years ago
Alternatives and similar repositories for CDGP:
Users that are interested in CDGP are comparing it to the libraries listed below
- A SyGuS Solver☆26Updated this week
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆23Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- ☆40Updated 6 years ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Python term rewriting☆29Updated 12 years ago
- Learning to Solve SMT Formulas Fast☆86Updated 10 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- ☆11Updated 3 years ago
- A formally verified bug finder☆14Updated 4 months ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 11 months ago
- Python bindings for egg☆48Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆17Updated 3 weeks ago
- ☆12Updated 2 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆15Updated 5 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Updated 5 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- program synthesis is possible☆41Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago