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).
