about summary refs log tree commit diff homepage
path: root/scripts/build/p-stp.inc
AgeCommit message (Expand)Author
2020-09-30Remove shebang from includeMartin Nowack
2020-03-31Don't search for CryptoMiniSAT when configuring STPCristian Cadar
2019-03-10Updated dependency build system for KLEEMartin Nowack