simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Better color scheme for dot output

Browse source
This commit is contained in:
Guillaume Bury 2014-11-20 14:38:25 +01:00
parent 8f2ae64b1a
commit 02b5c61ee1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sat/res.ml
View file

@ -330,8 +330,8 @@ module Make(St : Solver_types.S) = struct
(print_dot_edge id) (c_id p2) (print_dot_edge id) (c_id p2)
let color s = match s.[0] with let color s = match s.[0] with
| 'E' -> "" | 'E' -> "BGCOLOR=\"GREEN\""
| 'L' -> "" | 'L' -> "BGCOLOR=\"GREEN\""
| _ -> "BGCOLOR=\"GREY\"" | _ -> "BGCOLOR=\"GREY\""
let rec print_dot_proof fmt p = let rec print_dot_proof fmt p =