The latest version of toysolver is 0.8.1-1.

exe:survey-propagation

Dependencies

Reverse dependencies

None.