potassco / clingoLinks
🦉 A grounder and solver for logic programs.
☆701Updated this week
Alternatives and similar repositories for clingo
Users that are interested in clingo are comparing it to the libraries listed below
Sorting:
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated this week
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆376Updated 2 weeks ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆59Updated 2 months ago
- The Vampire Theorem Prover☆357Updated this week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆527Updated 3 months ago
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- A minimalistic and high-performance SAT solver☆1,101Updated last year
- An inductive logic programming system☆236Updated last week
- Logtalk - declarative object-oriented logic programming language☆468Updated this week
- The MiniZinc compiler☆619Updated this week
- Constraint Logic Programming over Integers☆209Updated last year
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆788Updated 3 months ago
- A toolkit for SAT-based prototyping in Python☆433Updated 2 weeks ago
- ☆573Updated 3 months ago
- Constraint Logic Programming over Finite Domains☆186Updated 5 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆389Updated last month
- The HOL Light theorem prover☆475Updated 3 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- A modern Prolog implementation written mostly in Rust.☆2,289Updated last week
- CaDiCaL SAT Solver☆485Updated this week
- A lazy-grounding Answer-Set Programming system☆63Updated 7 months ago
- SWI-Prolog Main development repository☆1,116Updated last week
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,010Updated last month
- The Chuffed CP solver☆111Updated 2 months ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆669Updated 2 months ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,195Updated this week
- Framework and Language for Neurosymbolic Programming.☆405Updated 5 months ago
- SRI Yices SMT Solver☆429Updated last month