MiniSat在Rust中的重实现
由 Masaki Hara 实现
使用旧的Rust 2015
#4 在 #reimplemented
用于 ratsat-bin
105KB 2.5K SLoC
这是MiniSat的Rust重实现。