kmcallister / sat
Interface for defining and solving SAT problems in Rust
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for sat
- A Rust implementation of the PCG PRNG.☆23Updated 7 years ago
- A general-purpose lens library for Rust.☆29Updated 7 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A structure for holding a set of enum variants☆20Updated 5 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Updated 7 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 7 years ago
- ☆29Updated 3 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Updated 6 years ago
- reprints for your terminal screen☆19Updated 8 years ago
- N-Dimensional Spatial Tree implementations library for Rust☆10Updated 6 months ago
- A simple neural net implementation.☆40Updated 5 years ago
- A fast map for when one doesn't care about choosing the keys.☆26Updated last week
- Rust task graph library☆15Updated 9 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 4 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 6 years ago
- Rust declarative static analysis with macro-like syntax☆16Updated 6 years ago
- Experimental compiler/UI components in Rust.☆37Updated 6 years ago
- Experimental persistent collections in Rust☆43Updated 7 years ago
- High-level gui api for rust (early alpha)☆13Updated 7 years ago
- ☆25Updated 9 years ago
- ☆13Updated 6 years ago
- A parser-combinator library for Rust☆45Updated 8 years ago
- ☆13Updated 7 years ago
- An experiment in embedding layout computations in the type system.☆16Updated 5 years ago
- An implementation of the "rose tree" data structure for Rust.☆24Updated 3 years ago
- REPL-like interactive code editor☆29Updated 7 years ago
- A collection of lexers for various languages, written in Rust.☆12Updated 8 years ago
- logging library for rayon☆17Updated 4 years ago
- Simple parallel pipeline for long tasks in Rust.☆17Updated 8 years ago