🕸️ 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