bddem as a separate pack

v4.5.0

version 4.5.0: bddem as a separate pack

new C interface with binaries

The C interface has been updated to deal with rules with different parameters for different instantiations

cplint with updated windows binaries

v4.0.0

correct version

LEMUR

This release includes also the LEMUR learning algorithm.

cplint with updated binary files

cplint with updated binary files and causal reasoning