Varisat 0.2.0 Released

I just released version 0.2.0 of Varisat, a SAT solver written in Rust: https://jix.one/varisat-0.2.0-released/

It’s a complete rewrite of the old code base and comes with a user manual now.

3 Likes