Fix a minor bug with handling of constants in mk_cnf
and mk_dnf
.
#106
Job | Run time |
---|---|
14s | |
16s | |
14s | |
22s | |
37s | |
1m 43s |
mk_cnf
and mk_dnf
.
#106
Job | Run time |
---|---|
14s | |
16s | |
14s | |
22s | |
37s | |
1m 43s |