packages feed

toysolver-0.8.0: samples/maxsat/new-format.wcnf

c This is a comment
c Example 1...another comment
h 1 2 3 4 0
1 -3 -5 6 7 0
6 -1 -2 0
4 1 6 -7 0