*
* Options:
* -j<jobs> run in parallel on <jobs> cores
+ * -b<best> search only for better than <best>
*/
/*
while ((opt = getopt(argc,argv,"j:")) >= 0) {
switch (opt) {
case 'j': ncpus = atoi(optarg); break;
+ case 'b': set_best(atof(optarg)); break;
case '+': assert(!"bad option");
default: abort();
}