ptal / pcp
Constraint programming in Rust
☆98Updated 9 months ago
Related projects: ⓘ
- A pure Rust linear programming solver☆80Updated 3 years ago
- Lp modeler written in Rust☆95Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆81Updated 4 years ago
- A graph library for Rust.☆123Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆73Updated this week
- Prototype extension of the Rust type system towards checking units-of-measure☆108Updated 4 years ago
- Simple but powerful graph library for Rust☆193Updated last year
- rust verification condition generator☆93Updated 8 years ago
- Library for back tracking with customizable search for moves☆23Updated last year
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆88Updated 3 years ago
- Genetic Algorithm library in Rust☆76Updated 3 years ago
- ☆43Updated this week
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆66Updated 4 months ago
- a pragmatic point-free theorem prover assistant☆137Updated 11 months ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 years ago
- Abstract algebra for Rust (still very much a WIP!)☆60Updated 2 years ago
- A library to produce syntax diagrams as Scalable Vector Graphics☆138Updated last month
- Units of Measure for Rust☆45Updated 8 years ago
- Compact sets in rust☆52Updated this week
- SAT solver written in Rust☆253Updated last year
- Abstract over the atomicity of reference-counting pointers in rust☆139Updated last month
- Judy array implementation in pure Rust☆84Updated 7 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆45Updated 3 years ago
- A Hindley-Milner polymorphic typing system☆49Updated 9 months ago
- A Cargo subcommand for working with feL4 projects.☆52Updated 6 years ago
- An idiomatic and fast QP-trie implementation in pure Rust.☆95Updated 4 months ago
- A better Arc / Rc [Still in research mode]☆19Updated 4 years ago
- ☆75Updated 8 years ago
- QuickCheck bug hunting in Rust standard library data structures☆160Updated 5 years ago