luteberget / minisat-rsLinks
Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
☆11Updated 3 years ago
Alternatives and similar repositories for minisat-rs
Users that are interested in minisat-rs are comparing it to the libraries listed below
Sorting:
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- Modular register allocator algorithms☆106Updated 2 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆26Updated 4 years ago
- Fast, vector-based map implementation that preserves insertion order.☆15Updated 5 years ago
- ☆37Updated 5 months ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆38Updated 7 years ago
- A splay tree implementation written in Rust☆26Updated 6 years ago
- Target "triple" support☆54Updated 3 months ago
- Reverse engineering framework.☆36Updated 2 years ago
- An implementation of the Tsetlin Machine in Rust☆16Updated 7 years ago
- Crunchy unroller - deterministically unroll constant loops☆40Updated 4 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- Testing the Rust standard library with Miri, continuously☆13Updated last week
- Initialization code ("crt0") written in Rust☆70Updated 3 years ago
- Flexible and modular framework for different NP-Problems with different solvers☆22Updated 3 months ago
- std::Error in no_std environment.☆39Updated 4 years ago
- A newtype with alignment of at least `A` bytes☆32Updated 3 months ago
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- The simd optimized escape code☆54Updated last week
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated last month
- Easy SMT solver interaction☆35Updated 2 months ago
- Home for the Inline Assembly project group☆33Updated 5 years ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- Faster, more flexible and more correct alternative to core::fmt☆40Updated 4 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- New register allocator designed as a successor to regalloc2☆38Updated 2 months ago
- More indexing options for Rust slices☆9Updated last year
- A symbolic evaluator for MIR☆19Updated 5 years ago
- Synchronization primitives for lazy and one-time initialization (no_std compatible).☆34Updated 2 months ago