UniGen does not handle files with small solution count

Issue #2 resolved
Kuldeep Meel repo owner created an issue

Issue reported by Subhajit Roy.

Comments (4)

  1. Ben Draut

    How 'small' of a solution count can Unigen handle?

    I'm working on a project that generates formulas that sometimes have very few solutions, even just 1 or 2 sometimes, should Unigen be enumerating those? I'm still getting this error.

  2. Log in to comment