difflog-project / datalog-bench
Benchmark Suite for Interpretable Rule Learning
☆10Updated 4 years ago
Related projects: ⓘ
- Experimentation framework for Popper☆18Updated 4 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆31Updated last year
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- A SyGuS Solver☆22Updated 3 weeks ago
- ☆40Updated 5 years ago
- Performant and safe knowledge compilation in rust☆21Updated 2 months ago
- ☆38Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- ☆33Updated last year
- Program Synthesis☆13Updated 3 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated last month
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆30Updated 3 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆66Updated last year
- A monadic library for symbolic evaluation☆51Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- The Termination Problem Database☆27Updated 3 months ago
- egraph on top of sqlite☆12Updated 2 years ago
- Synthesizing SQL queries from input / output examples☆45Updated 3 years ago
- ☆21Updated this week
- Implementation of higher-order logic in Python☆56Updated last year
- EPMC: An Extendible Probabilistic Model Checker☆14Updated 2 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆12Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago