fixed typo and added dependencies paragraph to install
prototyping all libstp functions in the python bindings
rename the c api pointers
basic functionality for python bindings
return complete model with all variables
added a basic test and a little documentation
various improvements, start using unittest library
for now also ignore using vc-destroy
allow integers to be casted to bitvecvals automatically
initial operator overloading
add quick model support and the not-equal operator
slightly clean up model functionality
automatically assume 32-bit bitvectors, introduce bitvecs
accept constants up to 64 bits instead of 32 bits
add support for boolean and, or, xor
introduce scoping with with keyword
introduce true/false, fix some solver object references
introduce reflected/swapped operands
initial python ast to stp transformation work
first ast to stp test