mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
This commit is contained in:
parent
4c6d7158cb
commit
de74e342c6
|
@ -75,7 +75,7 @@ static void display_model(sat::solver const & s) {
|
|||
case l_true: std::cout << i << " "; break;
|
||||
}
|
||||
}
|
||||
std::cout << "\n";
|
||||
std::cout << " 0\n";
|
||||
}
|
||||
|
||||
static void display_core(sat::solver const& s, vector<sat::literal_vector> const& tracking_clauses) {
|
||||
|
|
Loading…
Reference in a new issue