search

mgudemann / iimc

Other
11 stars 6 forks source link

make ic3r use the selected ic3 backend #4

Closed mgudemann closed 7 years ago

mgudemann commented 7 years ago

currently, selecting MiniSAT as ic3 back-end will not work on ic3r, for which zchaff is always used