Performance Issues #26
Description
Hi, for some reason, d-DNNF compilation is noticeable slower on the current release than on the ancient d4 version shipped with KUS, any ideas why (smooth?).
{{ message }}
Hi, for some reason, d-DNNF compilation is noticeable slower on the current release than on the ancient d4 version shipped with KUS, any ideas why (smooth?).