potassco / clingo-rsLinks
ποΈ Rust bindings to the clingo library
β32Updated 4 months ago
Alternatives and similar repositories for clingo-rs
Users that are interested in clingo-rs are comparing it to the libraries listed below
Sorting:
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rustβ93Updated last week
- A Rust library for manipulating and evaluating Boolean expressions and BDDsβ32Updated 4 years ago
- A Rust hashconsing library.β32Updated 10 months ago
- Datalog compiler embedded in Rust as a procedural macroβ474Updated last year
- SAT solver written in Rustβ267Updated 2 years ago
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sigβ¦β20Updated last week
- a model of MIR and the Rust type/trait systemβ301Updated 2 months ago
- π§ Clingo Interactive UIβ26Updated 2 weeks ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)β33Updated last week
- A pure Rust linear programming solverβ85Updated 4 years ago
- Wadler-style pretty-printing combinators in Rustβ158Updated 2 months ago
- Datalog with equality for rustβ68Updated last month
- Logic programming in Rustβ467Updated 3 weeks ago
- ποΈ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerβ56Updated 11 months ago
- πΈοΈ A visualizer for graphs defined as logic programsβ29Updated 7 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rustβ26Updated last year
- The library provides basic functions to work with Graphviz dot lang from rust code.β74Updated last month
- Clingo on the webβ39Updated this week
- Datalog + Egg = Goodβ66Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β51Updated 2 months ago
- β36Updated last year
- Prototype extension of the Rust type system towards checking units-of-measureβ115Updated 5 years ago
- Constraint programming in Rustβ105Updated last year
- An experimental implementation of Avatar Logic with a Prolog-like syntaxβ68Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.β158Updated last year
- A framework for processing the output of a pest-generated parserβ47Updated last year
- Interface with the rustc compiler for the purpose of program verificationβ148Updated this week
- β22Updated 3 years ago
- Functional lens library for Rustβ107Updated 4 years ago
- Session Type EDSL for Rustβ103Updated 2 years ago