msoos/cryptominisat — pull request #42 by capiman (2013-02-15 16:49:34+00:00)
Title:  Add command line option --dumpresult=outfile.res to write found solutions to a file outfile.res

Add command line option --dumpresult=outfile.res
to write found solutions to a file outfile.res