The latest version of toysolver is 0.8.1-1.

exe:maxsatverify

Dependencies

Reverse dependencies

None.