toysat
======

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

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