This commit is contained in:
Vitor Santos Costa 2015-10-20 03:08:37 +01:00
parent 390e9e0557
commit 1d10b9c709

View File

@ -1,5 +1,5 @@
set (PROGRAMS
Problog.yap
problog.yap
problog_lbdd.yap
problog_lfi.yap
dtproblog.yap