DeMaCS-UNICAL / I-DLVView external linksLinks
The new intelligent grounder of the logic-based Artificial Intelligence system DLV
☆23Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for I-DLV
Users that are interested in I-DLV are comparing it to the libraries listed below
Sorting:
- ☆24Jan 8, 2026Updated last month
- DLVHEX solver: core system and plugin API☆25Jun 13, 2019Updated 6 years ago
- A general framework for embedding Logic Programming in complex systems☆30Mar 30, 2024Updated last year
- An artificial player for the popular video game Angry Birds☆19Aug 6, 2019Updated 6 years ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 2 months ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated 3 weeks ago
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆13Nov 26, 2021Updated 4 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- Crate for reading TPTP files.☆15May 11, 2022Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- The Flix Programming Book☆21Jan 25, 2026Updated 2 weeks ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Nov 18, 2021Updated 4 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Oct 3, 2025Updated 4 months ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Web-based IDE for Logic Programming☆25Jan 23, 2026Updated 3 weeks ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Dec 28, 2021Updated 4 years ago
- 🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming☆68Feb 3, 2022Updated 4 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Apr 11, 2023Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated 3 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- Top-down interpreter for ASP programs with Constraints☆34Jun 30, 2025Updated 7 months ago
- Clingo on the web☆44Feb 1, 2026Updated 2 weeks ago
- 🦉 A grounder and solver for logic programs.☆746Updated this week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆41Apr 14, 2021Updated 4 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- ☆12Updated this week
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Efficient Message Digest for MXF Files☆10Jul 6, 2020Updated 5 years ago
- ☆13Oct 16, 2023Updated 2 years ago