Update Parameter Checking in Python Bindings

meelgroup / approxmc

Approximate Model Counter

Other

70 stars 26 forks source link

Update Parameter Checking in Python Bindings #31

Closed Eric-Vin closed 1 year ago

Eric-Vin commented 1 year ago

Currently Epsilon has to be between 0 and 1, when I believe the only requirement should be that it is greater than 0. I updated the check and error message to reflect this.

msoos commented 1 year ago

Good catch, thanks! Merged :)