Lib.rs

›

#sat #reimplemented #mini-sat

ratsat

MiniSat reimplemented in Rust

1 unstable release

Uses old Rust 2015

0.0.1	Mar 29, 2018

#4 in #reimplemented

Used in ratsat-bin

MIT license

105KB
2.5K SLoC

RatSat

This is a Rust reimplementation of MiniSat.

No runtime deps