From d0858c0d0cde1b6c3a54217b3da4d9dcd4c6bebe Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 10 Mar 2013 17:24:47 +0000 Subject: [PATCH] remove debugging --- packages/bdd/ddnnf.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/bdd/ddnnf.yap b/packages/bdd/ddnnf.yap index 63e4440c5..123e425d1 100644 --- a/packages/bdd/ddnnf.yap +++ b/packages/bdd/ddnnf.yap @@ -27,8 +27,8 @@ mkddnnf(CNF, PVs, DDNNF) :- close(S), % execute c2d at this point, but we're lazy% % unix(system('c2d -dt_method 3 -in dimacs')), -% unix(system('c2d -visualize -in dimacs')), - unix(system('dsharp -Fnnf dimacs.nnf dimacs')), + unix(system('c2d -visualize -in dimacs')), +% unix(system('dsharp -Fnnf dimacs.nnf dimacs')), open('dimacs.nnf',read,R), SVars =.. [v|AllVars], % ones(LVars),