difflog-project / datalog-benchLinks
Benchmark Suite for Interpretable Rule Learning
☆12Updated 5 years ago
Alternatives and similar repositories for datalog-bench
Users that are interested in datalog-bench are comparing it to the libraries listed below
Sorting:
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated 2 weeks ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆42Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- ☆41Updated 6 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- ☆44Updated last year
- Experimentation framework for Popper☆23Updated 2 months ago
- Performant and safe knowledge compilation in rust☆31Updated 4 months ago
- ☆14Updated last month
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated 3 months ago
- Port of Aleph to SWI-Prolog☆50Updated last year
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- Language bindings for Maude☆23Updated 9 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆71Updated 2 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Updated 7 years ago
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- The Termination Problem Database☆30Updated last month
- ☆38Updated 6 months ago
- A SyGuS Solver☆29Updated 4 months ago
- Grammar prioritization support for EUSolver.☆13Updated 6 years ago
- Datalog with support for SMT queries and first-order functional programming☆163Updated last week
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 6 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago