IserMk/minisat — pull request #2 by zieglerflorian (2014-09-24 13:10:15+00:00)
Title: Add possibility to control the count of the minimization iterations.

Hi Markus,

ich habe geforked und einen Branch erstellt.

Falls es gerade nicht in deinen Workflow passt, dann ignoriere den Pull-Request einfach.

Viele Grüße,
Florian