From 046af409baed3618fce8f421283b6fbdc0843b6d Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Wed, 19 Dec 2012 18:25:47 +0000
Subject: [PATCH] Change the default solver to be hve

---
 packages/CLPBN/clpbn.yap | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/CLPBN/clpbn.yap b/packages/CLPBN/clpbn.yap
index fb7490600..54a87a96a 100644
--- a/packages/CLPBN/clpbn.yap
+++ b/packages/CLPBN/clpbn.yap
@@ -137,8 +137,8 @@
 :- meta_predicate probability(:,-), conditional_probability(:,:,-).
 
 
-solver(ve).
-em_solver(bp).
+solver(hve).
+em_solver(hve).
 suppress_attribute_display(false).
 parameter_softening(m_estimate(10)).
 use_parfactors(off).