How do I set up Minisat on Windows?

Questions
1

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!

2

@peter.kriens has recently been working on a much-improved build for Alloy, he may have some tips for you…

3

Just following up with @peter.kriens!