From Documentation
Jump to: navigation, search
(Binary)
(Binary)
Line 8: Line 8:
 
  chmod u+x cryptominisat4-elf-static-64b
 
  chmod u+x cryptominisat4-elf-static-64b
  
For command line options run:  ./cryptominisat4-elf-static-64b --help
+
For command line options run:  <i>./cryptominisat4-elf-static-64b --help</i>
  
 
Submit to Serial queue: <pre>sqsub -r 1d -o ofile.%J ./cryptominisat4-elf-static-64b inputfilename</pre>
 
Submit to Serial queue: <pre>sqsub -r 1d -o ofile.%J ./cryptominisat4-elf-static-64b inputfilename</pre>

Revision as of 17:14, 17 May 2016

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!