The latest version of toysolver is 0.8.1-1.

test:TestSAT

Dependencies

Reverse dependencies

None.