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