Comment set_em_solver so that hve becomes that default

2013-01-10 23:04:17 +00:00
parent 4aa4cb50b0
commit 8f9b11cc7c
3 changed files with 3 additions and 3 deletions
--- a/packages/CLPBN/examples/learning/school_params.yap
+++ b/packages/CLPBN/examples/learning/school_params.yap
@@ -8,7 +8,7 @@

 :- ['../../examples/School/school_32'].

-:- set_em_solver(ve).
+%:- set_em_solver(ve).
 %:- set_em_solver(hve).
 %:- set_em_solver(bdd).
 %:- set_em_solver(bp).