1 unstable release
Uses old Rust 2015
| 0.0.1 | Mar 29, 2018 |
|---|
#7 in #dimacs
115KB
3K
SLoC
RatSat
This is a Rust reimplementation of MiniSat.
Dependencies
~2MB
~31K SLoC
Uses old Rust 2015
| 0.0.1 | Mar 29, 2018 |
|---|
#7 in #dimacs
115KB
3K
SLoC
This is a Rust reimplementation of MiniSat.
~2MB
~31K SLoC