How do I set up Minisat on Windows?

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!