๐ธ๏ธ A visualizer for graphs defined as logic programs
โ31Oct 12, 2024Updated last year
Alternatives and similar repositories for clingraph
Users that are interested in clingraph are comparing it to the libraries listed below
Sorting:
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ66Jul 30, 2025Updated 7 months ago
- ๐ง Clingo Interactive UIโ29Jan 22, 2026Updated last month
- Declarative unit testing for Answer Set Programming projectsโ12Mar 4, 2018Updated 7 years ago
- ๐๏ธ Rust bindings to the clingo libraryโ34Jan 27, 2025Updated last year
- A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).โ10Dec 1, 2025Updated 3 months ago
- Reversible programming in Agdaโ13Jun 22, 2023Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.โ11Dec 2, 2021Updated 4 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbolsโ13Aug 13, 2024Updated last year
- Example of clingo usage on website as a client-side JS programโ14Aug 27, 2019Updated 6 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Pythonโ11Aug 4, 2024Updated last year
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.โ10Sep 11, 2024Updated last year
- Reasoning on the response of logical signaling networks with Answer Set Programmingโ15Feb 10, 2026Updated 3 weeks ago
- Neurosymbolic Libraryโ28Feb 18, 2026Updated last week
- Port of SwiftyKanren to Kotlinโ18Feb 8, 2021Updated 5 years ago
- ๐ A system for probabilistic reasoning in clingoโ20Jun 24, 2024Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.โ37Feb 12, 2026Updated 2 weeks ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Pythonโ21Mar 1, 2023Updated 3 years ago
- An IntelliJ-based IDE plugin for Python AST transformationsโ18Aug 16, 2023Updated 2 years ago
- GNU Guile Scheme bindings for OCamlโ18Aug 5, 2022Updated 3 years ago
- ๐ฆ A grounder and solver for logic programs.โ751Feb 23, 2026Updated last week
- โ๏ธ A conflict-driven nogood learning answer set solverโ140Feb 18, 2026Updated last week
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ86Jul 13, 2023Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)โ29Dec 28, 2021Updated 4 years ago
- โ24Feb 17, 2026Updated 2 weeks ago
- A lazy-grounding Answer-Set Programming systemโ62Nov 22, 2025Updated 3 months ago
- sketches for egg: a flexible, high-performance e-graph libraryโ30Sep 25, 2025Updated 5 months ago
- Sandwood - A JVM based Java like Probabilistic Programming Languageโ34Jun 27, 2025Updated 8 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityโ70Jul 1, 2024Updated last year
- Collection of Automated Reasonersโ35Dec 9, 2025Updated 2 months ago
- My blog and its static site generatorโ10Oct 28, 2024Updated last year
- Clingo on the webโ44Feb 1, 2026Updated last month
- Converting Boolean expressions to CMOS Circuitsโ11Oct 6, 2020Updated 5 years ago
- โ11Jul 7, 2020Updated 5 years ago
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platformโฆโ11Jul 12, 2019Updated 6 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/โ11May 29, 2017Updated 8 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management systemโ43Mar 26, 2025Updated 11 months ago
- Accompanying materials for "A Core Calculus for Documents"โ36Oct 5, 2023Updated 2 years ago
- โ12Nov 22, 2024Updated last year
- Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/โฆโ13Aug 1, 2021Updated 4 years ago