z3-z3-4.13.0.src.solver.parallel_tactical.h Maven / Gradle / Ivy
The newest version!
/*++
Copyright (c) 2017 Microsoft Corporation
Module Name:
parallel_tactic.h
Abstract:
Parallel tactic in the style of Treengeling.
Author:
Nikolaj Bjorner (nbjorner) 2017-10-9
--*/
#pragma once
class tactic;
class solver;
tactic * mk_parallel_tactic(solver* s, params_ref const& p);