aboutsummaryrefslogtreecommitdiff
path: root/math/stp/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* - Update to revision 1436Li-Wen Hsu2014-03-031-1/+1
* Add stp , a Decision Procedure for Bitvectors and Arrays.Li-Wen Hsu2008-06-191-0/+14