# How do I set up Minisat on Windows?

**URL:** <https://alloytools.discourse.group/t/how-do-i-set-up-minisat-on-windows/418>\
**Category:** Questions\
**Created:** [November 26, 2023, 7:52am UTC](https://alloytools.discourse.group/t/how-do-i-set-up-minisat-on-windows/418 "2023-11-26T07:52:27Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![hwayne](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/hwayne/32/67_2.png) [@hwayne](https://alloytools.discourse.group/u/hwayne)\
**Post date:** [November 26, 2023, 7:52am UTC](https://alloytools.discourse.group/t/how-do-i-set-up-minisat-on-windows/418/1 "2023-11-26T07:52:27Z")

</div>

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!

---

<div class="post-metadata">

**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\
**Post date:** [November 30, 2023, 8:49am UTC](https://alloytools.discourse.group/t/how-do-i-set-up-minisat-on-windows/418/2 "2023-11-30T08:49:54Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![hwayne](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/hwayne/32/67_2.png) [@hwayne](https://alloytools.discourse.group/u/hwayne)\
**Post date:** [January 15, 2024, 7:11pm UTC](https://alloytools.discourse.group/t/how-do-i-set-up-minisat-on-windows/418/3 "2024-01-15T19:11:51Z")

</div>

Just following up with @peter.kriens!