Este repositório foi arquivado em 2023-08-20. Você pode visualizar arquivos e cloná-lo, mas não pode fazer push, abrir issues ou pull requests.

Tiago Gomes dfd7360291 Allow the use of solver as an alias of ground_solver

2013-01-08 20:47:12 +00:00

..

benchmarks

add flag to lifted knowledge compilation and s/fove/lve

2012-11-08 15:05:48 +00:00

clpbn

Fix typo

2013-01-07 14:04:44 +00:00

examples

Rearrange the probabilities to do a clean diff against the exported model

2013-01-07 22:18:50 +00:00

horus

Allow the use of solver as an alias of ground_solver

2013-01-08 20:47:12 +00:00

learning

More whitespace cleanups

2012-12-20 23:19:10 +00:00

clpbn.yap

Improve error messages

2012-12-20 23:34:53 +00:00

Makefile.in

Improve Makefile

2013-01-05 01:02:19 +00:00

pfl.tex

PFL manual: improve introduction section

2013-01-08 19:40:20 +00:00

pfl.yap

Allow calling set_horus_flag/2 without loading clpbn_horus

2013-01-07 14:05:56 +00:00