toysat
======

Command Line
------------

    toysat +RTS -H1G -K1G -RTS --maxsat --search=bcd2 [file.cnf|file.wcnf]