hve with em works now.

This commit is contained in:
Vítor Santos Costa
2012-10-02 08:49:16 +01:00
parent c30e71fe68
commit 85e9da1332
2 changed files with 2 additions and 6 deletions

View File

@@ -20,9 +20,9 @@ data(t,f,t,t).
%:- clpbn:set_clpbn_flag(em_solver,gibbs).
%:- clpbn:set_clpbn_flag(em_solver,jt).
%:- clpbn:set_clpbn_flag(em_solver,hve).
:- clpbn:set_clpbn_flag(em_solver,hve).
%:- clpbn:set_clpbn_flag(em_solver,bp).
:- clpbn:set_clpbn_flag(em_solver,ve).
%:- clpbn:set_clpbn_flag(em_solver,ve).
timed_main :-
statistics(runtime, _),