🗝️ Rust bindings to the clingo library
☆34Jan 27, 2025Updated last year
Alternatives and similar repositories for clingo-rs
Users that are interested in clingo-rs 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
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Jan 2, 2025Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- ☆24Feb 17, 2026Updated 2 weeks ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆37Feb 12, 2026Updated 3 weeks ago
- Log(ic) programming in Ru(st).☆24Sep 27, 2025Updated 5 months ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated last month
- A set of collection data types for rust that are simple wrappers around vectors☆10Jan 14, 2026Updated last month
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- Clingo on the web☆44Mar 1, 2026Updated last week
- Overriding Stdio file descriptors in Rust☆18Jan 26, 2025Updated last year
- Feature toggles for Rust, extensible and with background synchronization and administration UI☆27Dec 2, 2025Updated 3 months ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆35Feb 2, 2026Updated last month
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 3 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆140Updated this week
- Datalog compiler embedded in Rust as a procedural macro☆504Dec 14, 2025Updated 2 months ago
- A crate with indexed arenas with small memory footprint☆78Aug 26, 2024Updated last year
- ☆12Feb 27, 2026Updated last week
- Linguistic Reconstruction with LingPy☆15Aug 5, 2024Updated last year
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- SSL certificate authority script package for creating and signing your own SSL/TLS certificates☆11Nov 28, 2025Updated 3 months ago
- A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).☆10Dec 1, 2025Updated 3 months ago
- [Deprecated] eXo Platform in a Docker container☆10Dec 9, 2025Updated 3 months ago
- ☆13Oct 16, 2023Updated 2 years ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- Mixed graph Laplacian upscaling and solvers☆13Jan 7, 2025Updated last year
- Large-scale sparse matrix factorization for Rust☆11Jan 15, 2026Updated last month
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated 2 weeks ago
- Code for the paper "Large Language Models Share Representations of Latent Grammatical Concepts Across Typologically Diverse Languages" (N…☆17Apr 13, 2025Updated 10 months ago
- ☆10May 14, 2020Updated 5 years ago
- A periodic table plugin for Nushell.☆15Aug 25, 2025Updated 6 months ago
- ☆12Sep 21, 2024Updated last year
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago
- The Grammar Matrix☆15Jan 22, 2026Updated last month
- HAMT implementation whose sub-trees can be shared over threads☆10Feb 9, 2026Updated last month
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago