kmcallister / sat
Interface for defining and solving SAT problems in Rust
☆14Updated 8 years ago
Alternatives and similar repositories for sat:
Users that are interested in sat are comparing it to the libraries listed below
- Compiler plugin calculating const size of string literal and others☆11Updated 7 years ago
- ☆25Updated 9 years ago
- A tool for reasoning about breaking changes in Rust ecosystems☆39Updated 3 years ago
- reprints for your terminal screen☆19Updated 8 years ago
- A Rust implementation of the PCG PRNG.☆24Updated 7 years ago
- A fast map for when one doesn't care about choosing the keys.☆26Updated 3 months ago
- A fuzzing tool for incremental compilation that walks git history☆32Updated 6 years ago
- A structure for holding a set of enum variants☆20Updated 5 years ago
- Simple parallel pipeline for long tasks in Rust.☆17Updated 8 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 5 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Updated 6 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Portable high-level bitwise manipulation algorithms☆50Updated 3 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Updated 6 years ago
- ☆16Updated 8 years ago
- Convert `try!()` into `?`s☆34Updated 7 years ago
- ☆22Updated 8 years ago
- A small Rust library for recycling types with owned memory☆33Updated 9 years ago
- ☆30Updated 3 years ago
- Convenient chaining APIs for free☆29Updated 8 years ago
- Named arguments for Rust☆38Updated 7 years ago
- Dates and times library for Rust.☆14Updated 2 years ago
- Flexible, stand-alone benchmarking☆17Updated 6 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- Rust declarative static analysis with macro-like syntax☆15Updated 6 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 4 years ago
- Scary macros for serde_json☆43Updated 8 years ago
- ☆18Updated 8 years ago
- A pool of reusable values☆50Updated 5 years ago