🗝️ 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:
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Jan 2, 2025Updated last year
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆13Jul 22, 2022Updated 3 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- ☆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
- Clingo on the web☆44Mar 1, 2026Updated last week
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- Tool to run many small MPI jobs inside of one large MPI job.☆25Mar 17, 2015Updated 10 years ago
- 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
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 3 months ago
- ☆32Feb 20, 2024Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆140Feb 25, 2026Updated last week
- Cray System Management☆11Updated 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
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 2 months ago
- Command line tool to kickstart installing packages after a fresh install. Support Linux distros / OSX☆10Feb 5, 2023Updated 3 years ago
- ☆12Feb 27, 2026Updated last week
- For some kind of star trek☆15Dec 19, 2025Updated 2 months ago
- [Deprecated] eXo Platform in a Docker container☆10Dec 9, 2025Updated 3 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- 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
- libretro core to play PuzzleScript games☆15Mar 1, 2026Updated last week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Help you digest the Vega output in a dead simple way.☆14Jul 27, 2022Updated 3 years ago
- Implementation of a slotmap☆10Nov 24, 2025Updated 3 months ago
- ☆11Jan 31, 2021Updated 5 years ago
- A plugin for Atlassian Bitbucket (nee Stash) to allow easy, self-service continuous integration with Jenkins☆11Oct 9, 2019Updated 6 years ago
- Program chat completions from a POSIX shell☆11Feb 12, 2025Updated last year