2 Commits

Author	SHA1	Message	Date
Vítor Santos Costa	902dafa906	more support for learning	2008-11-26 09:56:55 +00:00
Vitor Santos Costa	a64c1138df	more CLP(BN) fixes ... - support clpbn_table for an efficient implementation of deterministic tabling. - corresponding changes to learning algorithm.	2008-11-18 11:29:59 +00:00