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:
- šļø A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerā59Updated 2 months ago
- 𦮠An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.ā83Updated 2 years ago
- š§ Clingo Interactive UIā28Updated 2 weeks ago
- šøļø A visualizer for graphs defined as logic programsā30Updated last year
- Python interface for SWI-Prologā49Updated 2 weeks ago
- logic programming with SPARQLā47Updated 2 years ago
- š Qualitative and quantitative optimization in answer set programmingā20Updated last year
- š°ļø A solver for temporal programs.ā22Updated last year
- Schema for chemistry ontology classesā20Updated last month
- ā22Updated 11 months ago
- Logic Programming in Pythonā31Updated 4 years ago
- Oxrdflib provides rdflib stores using pyoxigraphā41Updated last week
- Theory propagator for linear programming using clingo theory language and interface.ā11Updated 3 years ago
- Pythonic representation of OWL through the OWL functional syntaxā56Updated last month
- Formal Concept Analysis with Pythonā117Updated last week
- šļø Extract provenance information (W3C PROV) from GitLab projects.ā16Updated 2 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.ā19Updated last year
- Euler Yet another proof Engineā156Updated last week
- āļø A conflict-driven nogood learning answer set solverā127Updated this week
- ā71Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in pythonā127Updated 2 years ago
- OWL 2 Reasoner built on DataFrogā93Updated last month
- SuRF: a python Object RDF Mapper (ORM).ā43Updated 4 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVā23Updated last year
- A lazy-grounding Answer-Set Programming systemā63Updated 8 months ago
- Structure your data in a FAIR way using google sheets or TSVs. These are then converted to LinkML, and from there other formatsā47Updated 5 months ago
- wrapper for multiple linkml storage enginesā23Updated 3 months ago
- OWL2 library for Prologā112Updated 6 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.ā17Updated 2 years ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, pā¦ā36Updated 8 months ago