more pfl changes.

This commit is contained in:
Vítor Santos Costa
2012-04-12 17:24:39 +01:00
parent 8c2dd1f847
commit c5f42cd7eb
6 changed files with 219 additions and 115 deletions

View File

@@ -2,7 +2,7 @@
:- clpbn_horus:set_solver(fove).
%:- clpbn_horus:set_solver(hve).
%:- clpbn_horus:set_solver(bp).
:- clpbn_horus:set_solver(bp).
%:- clpbn_horus:set_solver(cbp).