search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Update README.md #20

Closed msoos closed 1 year ago

msoos commented 3 years ago

Let's not publicize at the top of the page, it's not been proven to work so well on larger instances, and it's definitely slower on most instances.

kuldeepmeel commented 3 years ago

The data is here: https://zenodo.org/record/3766168#.YC7Gu-ARWfU