kmcallister / sat
Interface for defining and solving SAT problems in Rust
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for sat
- ☆30Updated 3 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Updated 7 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 6 years ago
- A general-purpose lens library for Rust.☆29Updated 7 years ago
- A structure for holding a set of enum variants☆20Updated 5 years ago
- Faster, more flexible and more correct alternative to core::fmt☆39Updated 4 years ago
- reprints for your terminal screen☆19Updated 8 years ago
- N-Dimensional Spatial Tree implementations library for Rust☆10Updated 6 months ago
- Implementation of libm in rust☆34Updated 7 years ago
- Ticketed lock synchronization primitive☆11Updated 3 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Rust declarative static analysis with macro-like syntax☆16Updated 6 years ago
- ☆25Updated 9 years ago
- A Rust implementation of the PCG PRNG.☆23Updated 7 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 7 years ago
- Install a Cargo application from source without a preexisting Rust installation☆36Updated 9 years ago
- The fabulous, aspirationally Make-compatible, fabricator of files.☆27Updated last week
- Proof of concept for fast regexes in rust☆39Updated 8 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆45Updated 3 years ago
- ☆18Updated 7 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Updated 6 years ago
- Convert `try!()` into `?`s☆33Updated 7 years ago
- Dates and times library for Rust.☆15Updated 2 years ago
- I/O and binary data encoding for Rust☆37Updated 9 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Updated 6 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 4 years ago
- A simplistic parsing library in Rust☆20Updated 4 years ago
- Extra utilities for working with futures-rs☆20Updated 6 years ago