search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Release ApproxMC6 #55

Closed AL-JiongYang closed 3 months ago

AL-JiongYang commented 3 months ago

Upgrade ApproxMC4 to ApproxMC6.

msoos commented 3 months ago

Nice short change. Please add an update to the README, and link the paper, and explain how this changes things. Thanks.

msoos commented 3 months ago

Thanks, merged!!

msoos commented 3 months ago

I have now updated the README to include reference to the paper, update the numbering, etc. Hopefully it's good! Thanks again!