I’m working on a project where one of the requirements is we have to use Windows, and we’re really feeling the SAT4J pain.
Tips on getting PLingeling or Glucose would also be appreciated!
I’m working on a project where one of the requirements is we have to use Windows, and we’re really feeling the SAT4J pain.
Tips on getting PLingeling or Glucose would also be appreciated!
@peter.kriens has recently been working on a much-improved build for Alloy, he may have some tips for you…
Just following up with @peter.kriens!