From Documentation
Revision as of 17:14, 17 May 2016 by Roberpj (Talk | contribs) (Binary)

Jump to: navigation, search

4.5.3

Releases: https://github.com/msoos/cryptominisat/releases

Binary

wget https://github.com/msoos/cryptominisat/releases/download/4.5.3/cryptominisat4-elf-static-64b
chmod u+x cryptominisat4-elf-static-64b

For command line options run: ./cryptominisat4-elf-static-64b --help

Submit to Serial queue:
sqsub -r 1d -o ofile.%J ./cryptominisat4-elf-static-64b inputfilename
Submit to Threaded Queue:
sqsub -r 1d -q threaded -n 4 -o ofile.%J ./cryptominisat4-elf-static-64b -t 4 inputfilename

Nix

Coming soon!