Reverse Dependencies of clingo

The following projects have a declared dependency on clingo:

• alaspo — ALASPO: ASP + Large-Neighborhood Search
• asp-selftest — A tool for running in-source unittests for Anwer Set Programming (ASP)
• aspmc — An efficient algebraic model counter.
• biobalm — Boolean Attractor Landscape Mapper
• biobiobalm — Boolean Attractor Landscape Mapper
• bonesis — Synthesis of Most Permissive Boolean Networks
• clingcon — CFFI-based bindings to the clingcon solver.
• clingexplaid — Tools to aid the development of explanation systems using clingo
• clingo-dl — CFFI-based bindings to the clingo-dl solver.
• clingo-lpx — CFFI-based bindings to the clingo-lpx solver.
• clingox — Support library for clingo.
• clingraph — A visualizer for graphs defined as facts with special integration for clingo
• clinguin — An interactive visualizer for clingo
• clintest — A test framework for clingo programs
• Clorm — Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver
• clyngor — Python wrapper around Clingo/Answer Set Programming
• compspec — Compatibility specifications and models
• coso — A solver for combinatorics math word problems.
• dafact — Encodes data as ASP facts.
• declare4py — Python library to perform discovery, conformance checking and query checking of DECLARE constraints.
• deepxube — Solving pathfinding problems in an explainable manner with deep learning, reinforcement learning, heuristic search, and logic
• deolingo — A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP).
• discrete-optimization — Discrete optimization library
• draco — Visualization recommendation using constraints
• dspygen — A Ruby on Rails style framework for the DSPy (Demonstrate, Search, Predict) project for Language Models like GPT, BERT, and LLama.
• dumbo-asp — Utilities for Answer Set Programming
• echosys — A python library for modeling and solving epistemic multi agents planning problems
• iclingo — 🔴🟢🔵 clingo kernel for Jupyter
• json-logic-asp — Python JSON Logic evaluator in ASP
• macq — Action model acquisition from state trace data.
• mpbn — Simple implementation of Most Permissive Boolean networks
• ngo — Optimizes non ground logic programs.
• NORDic — Network Oriented Repurposing of Drugs (NORDic): network identification / master regulator detection / drug effect simulator / drug repurposing
• plingo — Probabilistic extension for clingo
• shilver — An outstandingly fast Shingoki solver.
• tarski — Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
• tarski-lapkt — Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
• telingo — System to solve dynamic temporal logic programs.
• typedlogic — typedlogic
• viasp-backend — The backend for the viasp package.
• xclingo — Tool for explaining and debugging Answer Set Programs.