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