search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

link to dataset not valid #48

Closed x-lad closed 8 months ago

x-lad commented 8 months ago

Hello The link to the benchmark seems to not work.

Is there another way to get it? Thanks

msoos commented 8 months ago

OOOppps! Sorry! Fixed now. Hope this helps :)