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
- A Rust implementation of the PCG PRNG.☆24Updated 7 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A general-purpose lens library for Rust.☆29Updated 8 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 7 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 8 years ago
- Rust task graph library☆15Updated 10 years ago
- Ticketed lock synchronization primitive☆11Updated 4 years ago
- A collection of lexers for various languages, written in Rust.☆12Updated 8 years ago
- Rust declarative static analysis with macro-like syntax☆15Updated 6 years ago
- High-level gui api for rust (early alpha)☆13Updated 7 years ago
- Rust syntax extension for generating error-handling boilerplate code.☆18Updated 6 years ago
- A fuzzing tool for incremental compilation that walks git history☆32Updated 6 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 4 years ago
- ☆30Updated 3 years ago
- reprints for your terminal screen☆20Updated 8 years ago
- An experiment in embedding layout computations in the type system.☆17Updated 5 years ago
- Allocator of fixed sized blocks from pre-allocated arena☆18Updated 7 years ago
- A monotonic solver designed to be easy to use with Rust enum expressions☆47Updated 3 years ago
- ☆23Updated 6 years ago
- Extra utilities for working with futures-rs☆20Updated 6 years ago
- Benchmark of Finite State Machine approaches☆26Updated 4 years ago
- A set of tools for working with datafrog☆22Updated 5 years ago
- ☆16Updated 8 years ago
- ☆11Updated 5 years ago
- A parser-combinator library for Rust☆45Updated 9 years ago
- Refined Data Description Language (RDDL) specification and parser library.☆9Updated 8 years ago
- an experiment in snapshot/golden master testing for rust☆14Updated 6 years ago
- Named arguments for Rust☆38Updated 7 years ago
- Experimental persistent collections in Rust☆45Updated 7 years ago