If we bump the `abc` submodule commit, we can remove various hacks from the `what4-solvers` repo: * We no longer need `patches/abc-intptr_t.patch` (see [here](https://github.com/GaloisInc/what4-solvers/blob/18bd549f3f150545c9e63db2753852e2f7175e34/.github/ci.sh#L33-L34)) now that berkeley-abc/abc#154 has been resolved. * We no longer need to manually stub out the `Cudd_CountMinterm` function (see [here](https://github.com/GaloisInc/what4-solvers/blob/18bd549f3f150545c9e63db2753852e2f7175e34/.github/ci.sh#L31-L32)) now that berkeley-abc/abc#136 has been resolved.
If we bump the
abcsubmodule commit, we can remove various hacks from thewhat4-solversrepo:patches/abc-intptr_t.patch(see here) now that MinGW-w64–compiledabcsegfaults when run in directory with at least one.exefile berkeley-abc/abc#154 has been resolved.Cudd_CountMintermfunction (see here) now that Defining ABC_USE_NO_CUDD leads to link errors berkeley-abc/abc#136 has been resolved.