stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

https://stp.github.io/

Other

524 stars 130 forks source link

Replace stale external library ``abc`` with upstream #95

Closed delcypher closed 9 years ago

delcypher commented 10 years ago

The abc code in the STP repo has been hacked to pieces with various bits of code being commented out.

We should move to having a git submodule that is a mirror of the upstream mercurial repository

There is a previous discussion about this in a closed issue #54

msoos commented 10 years ago

By the way, funnily enough, "abc" has its own copy of MiniSat last time I looked :) But of course we should not care about that. We could also me "abc" a dependency and ask users to install it. That might solve a lot of headaches -- we just need to make sure that we ask for a relatively recent "abc" (i.e. test that it is recent).

delcypher commented 9 years ago

159 supersedes this so closing.