potassco / clingo-rsLinks
ποΈ Rust bindings to the clingo library
β32Updated 5 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:
- Datalog compiler embedded in Rust as a procedural macroβ475Updated last year
- a model of MIR and the Rust type/trait systemβ308Updated 3 weeks ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rustβ99Updated 3 weeks ago
- Logic programming in Rustβ474Updated 2 months ago
- SAT solver written in Rustβ270Updated 2 years ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.β276Updated 3 years ago
- Wadler-style pretty-printing combinators in Rustβ160Updated 4 months ago
- Prototype extension of the Rust type system towards checking units-of-measureβ115Updated 5 years ago
- β β session types for Rustβ191Updated 8 months ago
- A pure functional language for type-level programming in Rustβ331Updated 2 years ago
- property testing and verification front-end for Rustβ211Updated 2 weeks ago
- Minimalistic snapshot testing for Rust.β285Updated 6 months ago
- A pure Rust linear programming solverβ88Updated 4 years ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDsβ32Updated 4 years ago
- An IDE extension for debugging trait errors in Rust.β186Updated 2 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematicβ¦β345Updated this week
- Maintainable configuration files, for Rust usersβ317Updated 2 years ago
- General-purpose abstractions for incremental computing, in Rustβ356Updated 3 years ago
- Constraint programming in Rustβ109Updated last year
- Rust bindings for the Z3 solver.β411Updated this week
- Santiago is a lexing and parsing toolkit for Rustβ102Updated 2 years ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functionsβ445Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.β96Updated last year
- πΆ Choreographic programming in Rust πΆβ59Updated 4 months ago
- β41Updated last year
- Proc-macro typestate DSL for Rustβ151Updated 2 years ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.β24Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rustβ26Updated last year
- Rust grammar tool libraries and binariesβ549Updated last month
- An experimental implementation of Avatar Logic with a Prolog-like syntaxβ68Updated last year