Compared to v0.5.19, this version fixes a performance bug in mk_dnf/mk_cnf and updates the DNF optimization method in a way that produces smaller normal forms for functions with a lot of shared sub-formulas.
Compared to v0.5.19, this version fixes a performance bug in mk_dnf/mk_cnf and updates the DNF optimization method in a way that produces smaller normal forms for functions with a lot of shared sub-formulas.