simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 03:35:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

better dimacs printing

Browse source
This commit is contained in:
Simon Cruanes 2016-11-02 16:11:37 +01:00
parent 3321f556d6
commit bf5e6cf67c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/core/external.ml
View file

@ -120,10 +120,10 @@ module Make
St.pp_dimacs fmt c' St.pp_dimacs fmt c'
in in
let pp s fmt vec = let pp s fmt vec =
Format.fprintf fmt "c %s@\n%a" s (Vec.print ~sep:"\n" aux) vec Format.fprintf fmt "c %s@,%a" s (Vec.print ~sep:"" aux) vec
in in
Format.fprintf fmt Format.fprintf fmt
"p cnf %d %d@\n%a%a%a" "@[<v>p cnf %d %d@,%a%a%a@]@."
n m n m
(pp "Local assumptions") tmp (pp "Local assumptions") tmp
(pp "Hypotheses") hyps (pp "Hypotheses") hyps