ptal / pcpLinks
Constraint programming in Rust
☆106Updated last year
Alternatives and similar repositories for pcp
Users that are interested in pcp are comparing it to the libraries listed below
Sorting:
- A pure Rust linear programming solver☆85Updated 4 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated 2 weeks ago
- Lp modeler written in Rust☆102Updated 4 years ago
- Genetic Algorithm library in Rust☆79Updated 4 years ago
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆170Updated this week
- rust verification condition generator☆96Updated 8 years ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- A simple, id-based arena☆119Updated last year
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- DDO a generic and efficient framework for MDD-based optimization.☆62Updated 2 weeks ago
- Safe CUDA cuBLAS wrapper for the Rust language.☆29Updated 7 years ago
- Abstract over the atomicity of reference-counting pointers in rust☆156Updated 2 months ago
- Library for backtracking with customizable search for moves☆23Updated last month
- Simple but powerful graph library for Rust☆194Updated 2 years ago
- Portable Bitwise Manipulation Intrinsics☆46Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- A graph library for Rust.☆121Updated 4 years ago
- Compact sets in rust☆57Updated 2 months ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆102Updated 5 years ago
- An idiomatic and fast QP-trie implementation in pure Rust.☆101Updated last year
- Abstract algebra for Rust (still very much a WIP!)☆61Updated 3 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆47Updated 4 years ago
- ☆27Updated last year
- Functional Reactive Programming library for Rust☆50Updated 4 years ago
- misc parsers in rust☆66Updated 3 weeks ago
- Functional lens library for Rust☆107Updated 4 years ago
- SAT solver written in Rust☆267Updated 2 years ago
- A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine☆90Updated 3 years ago