mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix wcnf front-end and unsat case in pd

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-08-23 14:25:11 -07:00
parent 149549dd52
commit 46e0ff486b
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/shell/opt_frontend.cpp
View file

@ -158,7 +158,6 @@ public:
else if (*in == 'p') { else if (*in == 'p') {
++in; ++in;
parse_spec(num_vars, num_clauses, max_weight); parse_spec(num_vars, num_clauses, max_weight);
std::cout << "v " << num_vars << " c " << num_clauses << " w " << max_weight << "\n";
} }
else { else {
unsigned weight = 0; unsigned weight = 0;