Aluriak / clyngorView external linksLinks
Handy python wrapper around Potassco's Clingo ASP solver.
☆36Dec 11, 2025Updated 2 months ago
Alternatives and similar repositories for clyngor
Users that are interested in clyngor are comparing it to the libraries listed below
Sorting:
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆65Jul 30, 2025Updated 6 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- 🫓 A parser for the FlatZinc modelling language☆14Feb 27, 2025Updated 11 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆138Updated this week
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 10 months ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 2 months ago
- CRDC-H model in LinkML, developed by the Center for Cancer Data Harmonization (CCDH)☆17Jan 7, 2022Updated 4 years ago
- A Datalog Framework for Python☆16Mar 8, 2023Updated 2 years ago
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Fused multiply-add (with a single rounding) for Python.☆20Aug 14, 2024Updated last year
- ⛓️ Extension of clingo to handle constraints over integers☆34Feb 2, 2026Updated last week
- DEPRECATED: replaced by linkml☆24Apr 4, 2021Updated 4 years ago
- some example matplotlibrc files, and a script display their effects☆48Nov 5, 2013Updated 12 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated 3 weeks ago
- Ontological Interpretations for Web Property Graphs☆35Mar 19, 2021Updated 4 years ago
- ☆30Jan 20, 2018Updated 8 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated last year
- automatic persistence for Python objects☆47Dec 8, 2025Updated 2 months ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Feb 2, 2026Updated last week
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- Collation of metadata examples and notes for the project☆11Jan 30, 2026Updated 2 weeks ago
- Python wrapper of a Rust CEL implementation☆29Updated this week
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Archive of the categories mailling list☆11Sep 8, 2020Updated 5 years ago
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated 2 weeks ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆16Updated this week