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

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