search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Clear hashVars after every iteration #11

Closed durgeshra closed 4 years ago

durgeshra commented 4 years ago

Corrected a bug that prevented random constraint generation after every iteration .

kuldeepmeel commented 4 years ago

We are create hashVars in every iteration so clear won't have any effect. Perhaps create it outside the loop?