search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Is there any way to see the solutions in the bounded solution count ? #23

Closed CountingLogic closed 3 years ago

CountingLogic commented 3 years ago

Hi I am running the approxmc for some very simple CNF's I would like to save the solutions from the last set of cells ? Is it somehow possible ?

msoos commented 3 years ago

Hi,

It is possible, but it doesn't help much in terms of sampling. Instead, I suggest you use our sampler, here:

https://github.com/meelgroup/unigen

That will give you example solutions and will also tell you the approximate number of solutions :) All in one! It uses ApproxMC as a subsystem.

Cheers,

Mate