stp/stp — pull request #23 by khooyp (2013-09-07 00:16:28+00:00)
Title: Implement BOOLEXTRACT, and rename all instances of BVGETBIT to BOOLEXTRACT as well (since they are the same).

I renamed BVGETBIT to BOOLEXTRACT to be consistent with CVC, and completed the implementation. Note that c_interface.cpp has its own implementation which I did not update (I don't have an application that uses the C interface).