Handy python wrapper around Potassco's Clingo ASP solver.
☆37Feb 12, 2026Updated 3 weeks 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☆66Jul 30, 2025Updated 7 months ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- 🫓 A parser for the FlatZinc modelling language☆14Feb 27, 2025Updated last year
- 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
- ⛓️ Extension of clingo to handle constraints over integers☆35Feb 2, 2026Updated last month
- 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 2 years ago
- Clingo on the web☆44Updated this week
- Cray System Management☆11Feb 9, 2026Updated 3 weeks ago
- simple viewer for variant call format using htslib☆33Jan 17, 2017Updated 9 years ago
- automatic persistence for Python objects☆47Dec 8, 2025Updated 2 months ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Figuring out the best words to use for the first guess in WORDLE☆12Jan 4, 2023Updated 3 years ago
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- my dotfiles managed with stow, for macos, nvim, terminal and more☆24Feb 27, 2026Updated last week
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 3 weeks ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Static analyzer for dynamics of Automata Networks