Commit 7aaa54f4 authored by Hidetomo Nabeshima's avatar Hidetomo Nabeshima
Browse files

Merge branch 'cnf' into 'master' 

fix for issue #5

See merge request Naps/naps!3
parents b259780d 96ec1e39

glueminisat/core/Solver.cc

+1 −1
Original line number Diff line number Diff line
@@ -1845,7 +1845,7 @@ void Solver::toDimacs(FILE* f, const vec<Lit>& assumps) 
    }

    cnt += trail.size();



    fprintf(f, "p cnf %d %d\n", max, cnt);

    fprintf(f, "p cnf %d %d\n", max+1, cnt);



    for (int i = 0; i < assumptions.size(); i++){

        assert(value(assumptions[i]) != l_False);