Modify smtlib2 parser to accept let expressions inside of terms.
Implement BVSHL, BVLSHR and BVASHR bit-shift by expression operators from CVC3.
Move AlreadyPrintedSet from STPManager to LispPrinter and eliminate IsAlreadyPrinted and MarkAlreadyPrinted from ASTNode.
Add test cases for BVSHL, BVLSHR and BVASHR.
Build STP shared library using CMake.

Also use {ARCHIVE,RUNTIME}_OUTPUT_DIRECTORY properties to relocate build products rather than a custom target.
Merge pull request #39 from khooyp/stp-library

Build STP shared library using CMake.
Merge pull request #9 from edmcman/master

Modify smtlib2 parser to accept let expressions inside of terms.
Merge pull request #25 from khooyp/implement-cvc-varshifts

Implement BVSHL, BVLSHR and BVASHR bit-shift by expression operators from CVC3.
Merge pull request #32 from khooyp/remove-already-printed

Move AlreadyPrintedSet from STPManager to LispPrinter and eliminate IsAlreadyPrinted and MarkAlreadyPrinted from ASTNode.