potassco / clingraph
๐ธ๏ธ A visualizer for graphs defined as logic programs
โ29Updated last month
Related projects โ
Alternatives and complementary repositories for clingraph
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ52Updated 4 months ago
- ๐ง Clingo Interactive UIโ25Updated last week
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ75Updated last year
- Theory propagator for linear programming using clingo theory language and interface.โ10Updated 2 years ago
- A tool for explainability and debugging in Answer Set Programming.โ13Updated last month
- Performant and safe knowledge compilation in rustโ25Updated last month
- ๐ Qualitative and quantitative optimization in answer set programmingโ19Updated 6 months ago
- โ๏ธ A conflict-driven nogood learning answer set solverโ117Updated this week
- ๐ฐ๏ธ A solver for temporal programs.โ22Updated 5 months ago
- Handy python wrapper around Potassco's Clingo ASP solver.โ34Updated last year
- A lazy-grounding Answer-Set Programming systemโ58Updated 3 weeks ago
- Top-down interpreter for ASP programs with Constraintsโ24Updated last week
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVโ22Updated 11 months ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.โ34Updated 3 months ago
- Python interface for SWI-Prologโ42Updated last week
- Pedagogical first-order prover in Pythonโ73Updated 2 weeks ago
- top-down interpreter for ASP programs with constraintsโ15Updated 2 years ago
- The Standard Interface for Incremental Satisfiability Solvingโ48Updated 2 years ago
- ๐ A system for probabilistic reasoning in clingoโ15Updated 5 months ago
- A fast and simple automata libraryโ23Updated this week
- C. Hocquette and A. Cropper, Learning programs with magic values.โ18Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GALโ22Updated 4 months ago
- A set of basic tools for manipulating SyGuS benchmarksโ22Updated last year
- Experimentation framework for Popperโ20Updated 6 months ago
- โ20Updated 3 weeks ago
- Qute: a dependency learning QBF solver.โ12Updated 3 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtโฆโ139Updated last month
- A Python script to create cactus and scatter plots based on matplotlibโ23Updated 3 years ago
- Coq development for the course "Mechanized semantics", Collรจge de France, 2019-2020โ64Updated 7 months ago
- The Heterogeneous Tool Setโ57Updated 2 months ago