問題Z3 CC_NUM_THREADSを使用して並列Z3を設定しながら、= 3

Question

号Z3 CC_NUM_THREADSを使用して並列Z3の設定中= 3

私は= 3私のSMT2ファイル 次のエラーのためには、popingさCC_NUM_THREADSとZ3の並列バージョンを実行しようとしていますアップ。

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の戦術セクションの例を参照してください。