問題，而使用Z3 <smt2-file > CC_NUM_THREADS = 3

Question

問題，而使用Z3 CC_NUM_THREADS配置並行Z3配置並行Z3 = 3

我試圖運行Z3水貨版本與CC_NUM_THREADS我SMT2文件 以下錯誤= 3坡平向上。

ERROR: unknown parameter 'cc_num_threads' 
Legal parameters are: 
auto_config (bool) (default: true) 
debug_ref_count (bool) (default: false) 
dump_models (bool) (default: false) 
memory_high_watermark (unsigned int) (default: 0) 
memory_max_alloc_count (unsigned int) (default: 0) 
memory_max_size (unsigned int) (default: 0) 
model (bool) (default: true) 
model_validate (bool) (default: false) 
proof (bool) (default: false) 
rlimit (unsigned int) (default: 4294967295) 
smtlib2_compliant (bool) (default: false) 
timeout (unsigned int) (default: 4294967295) 
trace (bool) (default: false) 
trace_file_name (string) (default: z3.log) 
type_check (bool) (default: true) 
unsat_core (bool) (default: false) 
verbose (unsigned int) (default: 0) 
warning (bool) (default: true) 
well_sorted_check (bool) (default: false) 

Answer 1

此功能不再支持（並且很久沒有支持）。您可以制定自己的平行戰術，例如參見Strategies Tutorial的戰術部分中的參數或示例。