toysat_ls
=========

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

    toysat +RTS -H1G -K1G -RTS --maxsat --search=bcd2 --with-ubcsat=<PATH_TO_UBCSAT_COMMAND> --ls-initial [file.cnf|file.wcnf]