Varisat 0.2.0 Released

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.

3 Likes

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.