about summary refs log tree commit diff homepage
path: root/.travis/solvers.sh
AgeCommit message (Collapse)Author
2016-02-14Add TravisCI and Docker support for building KLEE with Z3 supportDan Liew