toysolver-0.5.0: misc/maxsat/toysat/toysat
#!/bin/sh tempdir=/tmp/toysat-$$-$1 ./toysat_main +RTS -H1G -K1G -RTS --search=bcd2 --temp-dir=$tempdir --maxsat $@ rm -r $tempdir
#!/bin/sh tempdir=/tmp/toysat-$$-$1 ./toysat_main +RTS -H1G -K1G -RTS --search=bcd2 --temp-dir=$tempdir --maxsat $@ rm -r $tempdir