potassco / clingo
🤔 A grounder and solver for logic programs.
☆618Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for clingo
- ⚙️ A conflict-driven nogood learning answer set solver☆117Updated this week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆75Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆52Updated 4 months ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆315Updated last week
- An inductive logic programming system☆205Updated 3 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated last month
- The Vampire Theorem Prover☆297Updated this week
- The MiniZinc compiler☆514Updated this week
- 🐧 Clingo Interactive UI☆25Updated this week
- Python interface for SWI-Prolog☆41Updated last week
- A lazy-grounding Answer-Set Programming system☆58Updated last week
- The Yices SMT Solver☆371Updated last week
- Constraint Logic Programming over Integers☆185Updated 9 months ago
- The Chuffed CP solver☆93Updated 2 weeks ago
- The HOL Light theorem prover☆429Updated this week
- ☆132Updated this week
- ⛓️ Extension of clingo to handle constraints over integers☆25Updated 2 months ago
- pySMT: A library for SMT formulae manipulation and solving☆574Updated 3 months ago
- ☆458Updated last month
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆927Updated 3 weeks ago
- CaDiCaL SAT Solver☆377Updated this week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,035Updated this week
- Clingo on the web☆33Updated last week
- A toolkit for SAT-based prototyping in Python☆391Updated 6 months ago
- The main development version of the PRISM model checker.☆156Updated last month
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆627Updated this week
- Logtalk - declarative object-oriented logic programming language☆424Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆641Updated 4 months ago