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.
Fixed path to test-script in CMakeLists
Merge pull request #36 from cptjazz/master

Silenced some "comparing different types"-warnings in loop conditions
Add test cases for BVSHL, BVLSHR and BVASHR.
Remove stray ocaml-wrapper line.
Remove configure script leftover from old build system.
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 #41 from cptjazz/cmake_fixes

Fixed path to test-script in CMakeLists
Fixing regression test -- tell the user that an option must be selected
Updating regression tester so it works with current main.cpp

I.e. it uses the current option signatures, etc.
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.
Optimized loops in SimplifiyingNodeFactory