13 lines
323 B
Plaintext
13 lines
323 B
Plaintext
To compile ProbLog call
|
|
make
|
|
To clean the directory call
|
|
make clean
|
|
|
|
The make file will recursively call the make file of SimpleCudd and Cudd.
|
|
And it will finally copy the binary executable ProblogBDD to the main directory.
|
|
|
|
For general information on ProbLog, please see
|
|
|
|
http://dtai.cs.kuleuven.be/problog
|
|
|