54 dependents
| Package | Description | Downloads/month |
|---|---|---|
| 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reaso... | 13K | |
| ⛓️ Extension of clingo to handle constraints over integers | 8K | |
| Brief Python implementation of Most Permissive Boolean Networks | 7K | |
| 📏 Theory propagator for difference logic using clingo's theory language and C++ ... | 6K | |
| Probabilistic Answer Set Programming | 3K | |
| Utilities for Answer Set Programming | 3K | |
| 🧮 A simplistic simplex solver for checking satisfiability of a set of equations. | 3K | |
| 🕸️ A visualizer for graphs defined as logic programs | 2K | |
| Handy python wrapper around Potassco's Clingo ASP solver. | 2K | |
| Discrete optimization library | 2K | |
| Network-Oriented Repurposing of Drugs Python Package | 2K | |
| A Ruby on Rails style framework for the DSPy (Demonstrate, Search, Predict) proj... | 2K | |
| Python package to parse and solve COOM configuration instances using ASP. | 2K | |
| 🐧 Clingo Interactive UI | 2K | |
| 🧪 A test framework for clingo programs | 1K | |
| 💡 Tools to aid the development of explanation systems using clingo | 1K | |
| A tool for explainability and debugging in Answer Set Programming. | 1K | |
| In-source test runner for Answer Set Programming (ASP) with Clingo. | 1K | |
| Benchmarking and evaluating action model learning approaches. | 1K | |
| The backend for the viasp package. | 981 | |
| Visualization recommendation using constraints | 970 | |
| An efficient algebraic model counter. | 845 | |
| Non Ground Optimizer for logic programs. | 726 | |
| Synthesis and Reprogramming of Most Permissive Boolean Networks | 722 | |
| Action model acquisition from state trace data. | 718 | |
| ALASPO: ASP + Large-Neighborhood Search | 716 | |
| Tools to explore dynamic causal graphs in the case of undersampled data | 714 | |
| Python library to perform discovery, conformance checking and query checking of ... | 695 | |
| Mkdocs plugin for automatic documentation in clingo | 650 | |
| 🕰️ A solver for temporal programs. | 614 | |
| Model Revision tool for computing Boolean network repair operations. | 561 | |
| Solving pathfinding problems in an explainable manner with deep learning, reinfo... | 560 | |
| AION is a lightweight planning and scheduling agent that intelligently organizes... | 466 | |
| Peptide classifier for ChEBI / PubChem | 452 | |
| Core compsec example implementation (in Python) - other languages can be used. | 449 | |
| A template project. | 448 | |
| Online action model learning for classical planning | 437 | |
| PDDL-based simulator for the BIU course "Introduction to Intelligent, Knowledge-... | 432 | |
| Support library for clingo. | 425 | |
| Boolean Attractor Landscape Mapper | 418 | |
| Evaluate JSON Logic rules in Python using ASP with Clingo | 386 | |
| 🔴🟢🔵 clingo kernel for Jupyter | 355 | |
| RoCELib is an open-source Python library designed for benchmarking the robustnes... | 339 | |
| Differentiable probabilistic answer set programming | 295 | |
| flingo is a solver for Answer Set Programming (ASP) combined with founded condit... | 282 | |
| Small python library for encoding different data sources as Answer Set Programin... | 275 | |
| CLI tool for debugging clingo using a combination of MUS and LLMs | 255 | |
| A deontic logic solver for explainable deontic reasoning with Answer Set Program... | 206 | |
| System to facilitate meta programming in ASP with clingo | 196 | |
| aspen is a tool for analyzing and manipulating ASTs in the clingo ASP language, ... | 125 |
