TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Stats for magnifyingGlass #15

Closed mhyee closed 11 years ago

mhyee commented 11 years ago

Right now we keep stats for working up to the Pareto point. However, it looks like we don't keep stats on the magnifyingGlass call; that is, finding all the solutions at a particular Pareto point.