This repository has been archived by the owner on Mar 5, 2024. It is now read-only.

Use upstream STP #2

Open

delcypher opened this issue Oct 24, 2013 · 0 comments

delcypher commented Oct 24, 2013

SVN STP is not actively maintained (AFAIK). For klee unstable we should be using...

https://github.com/stp/stp

This does have a few higher requirements that old STP. Boost static libraries and CMake >= 2.8.8 need to be installed.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.