Bump `abc` submodule commit

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Open RyanGlScott opened 2 years ago

RyanGlScott commented 2 years ago

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) now that berkeley-abc/abc#154 has been resolved.
We no longer need to manually stub out the Cudd_CountMinterm function (see here) now that berkeley-abc/abc#136 has been resolved.