用 Rust 重写的 MiniSat
由 Masaki Hara 编写
使用旧的 Rust 2015
#5 在 #重写
115KB 3K SLoC
这是 MiniSat 的 Rust 重写版本。
~1MB ~12K SLoC