luteberget / minisat-rs
Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
☆10Updated 2 years ago
Alternatives and similar repositories for minisat-rs:
Users that are interested in minisat-rs are comparing it to the libraries listed below
- Modular register allocator algorithms☆106Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆36Updated 3 weeks ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆38Updated 7 years ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆23Updated 3 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)☆8Updated 2 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated this week
- A small crate for hashing multi sets☆14Updated 3 years ago
- ☆17Updated 4 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆23Updated last year
- Automatic peephole optimizer for Cranelift JIT compiler☆19Updated 3 years ago
- Grammar framework.☆12Updated 5 years ago
- The simd optimized escape code☆53Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- Crunchy unroller - deterministically unroll constant loops☆36Updated last week
- Reading DWARF information from wasm files.☆19Updated 6 years ago
- Target "triple" support☆49Updated 3 weeks ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- An implementation of the Tsetlin Machine in Rust☆16Updated 6 years ago
- New register allocator designed as a successor to regalloc2☆30Updated last week
- An experimental asynchronous runtime based on `io-uring`.☆77Updated 3 years ago
- Easy SMT solver interaction☆25Updated this week
- A growable bit-vector for Rust, optimized for size☆40Updated 9 months ago
- Flexible and modular framework for different NP-Problems with different solvers☆21Updated this week
- rust verification condition generator☆93Updated 8 years ago
- Rust library for displaying compiler diagnostics like rustc☆22Updated last year
- Rust library to calculate linear regressions.☆16Updated 2 years 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
- The closest we are to embedded no-std binaries on stable Rust☆18Updated 6 years ago