Aluriak / clyngorLinks
Handy python wrapper around Potassco's Clingo ASP solver.
ā34Updated 2 years ago
Alternatives and similar repositories for clyngor
Users that are interested in clyngor are comparing it to the libraries listed below
Sorting:
- š§ Clingo Interactive UIā26Updated 2 weeks ago
- šļø A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerā56Updated 11 months ago
- 𦮠An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.ā79Updated last year
- šøļø A visualizer for graphs defined as logic programsā29Updated 7 months ago
- š Qualitative and quantitative optimization in answer set programmingā20Updated last year
- Theory propagator for linear programming using clingo theory language and interface.ā11Updated 3 years ago
- ā21Updated 7 months ago
- Python interface for SWI-Prologā49Updated last month
- š°ļø A solver for temporal programs.ā22Updated 11 months ago
- A tool for explainability and debugging in Answer Set Programming.ā13Updated 2 months ago
- Declarative unit testing for Answer Set Programming projectsā12Updated 7 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVā23Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityā64Updated 11 months ago
- logic programming with SPARQLā47Updated 2 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.ā15Updated 2 weeks ago
- Schema for chemistry ontology classesā18Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesisā23Updated 4 years ago
- Logic Programming in Pythonā31Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.ā15Updated 2 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DLā37Updated 3 years ago
- A lazy-grounding Answer-Set Programming systemā60Updated 3 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.ā85Updated 3 years ago
- General Inductive Logic Programming Systemā17Updated 2 years ago
- š A system for probabilistic reasoning in clingoā17Updated 11 months ago
- ā16Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) frameworkā13Updated 11 months ago
- Oxrdflib provides rdflib stores using pyoxigraphā40Updated last month
- ā33Updated last year
- Clingo on the webā39Updated this week
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, pā¦ā33Updated 3 months ago