tnelson/Forge

Update native solvers

Opened this issue · 0 comments

tnelson commented

Two issues:

  • Windows is lacking support for Minisat and Glucose.
  • Forge doesn't contain an Electrod solver build for any OS (this is the infinite-trace solver used in Electrum).