The latest version of toysolver is 0.8.1-1.

flib:toysat-ipasir

Dependencies

Reverse dependencies

None.