simple trick to do code sharing
This commit is contained in:
parent
6cc1ed77ed
commit
7fd6167c50
@ -2,6 +2,7 @@
|
|||||||
% ProbLog extension to use an YAP BDD interface module, instead of simplecudd.
|
% ProbLog extension to use an YAP BDD interface module, instead of simplecudd.
|
||||||
%
|
%
|
||||||
|
|
||||||
|
:- include(problog).
|
||||||
|
|
||||||
:- use_module(library(trie_sp)).
|
:- use_module(library(trie_sp)).
|
||||||
:- use_module(library(bdd)).
|
:- use_module(library(bdd)).
|
||||||
|
Reference in New Issue
Block a user