diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove debugging

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-03-10 17:24:47 +00:00
parent 6397cc9ff7
commit d0858c0d0c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/bdd/ddnnf.yap
View File

@ -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),