I just released version 0.2.0 of Varisat, a SAT solver written in Rust: Varisat 0.2.0 Released
It's a complete rewrite of the old code base and comes with a user manual now.
I just released version 0.2.0 of Varisat, a SAT solver written in Rust: Varisat 0.2.0 Released
It's a complete rewrite of the old code base and comes with a user manual now.
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.