PySTP - a Python extension module for STP
PySTP is a Python
extension module that interfaces with
STP is a decision procedure for the theory of fixed-width bitvectors and arrays, and PySTP enables Python scripts to use STP.
- version 0.2, released on Aug 8, 2010 - [gzip]
- version 0.1, released on Jun 16, 2007 - [gzip]
PySTP extension module needs to be compiled for the host system where it is
going to be used. In order to compile the source, you have to copy STP's static
libraries inside the directory where PySTP's distribution has been
First, download STP
from STP Main Page
and compile it; this will create the static libraries. Then, copy all
the static libraries (libast.a
, and libstp.a
PySTP's directory. Finally, run make
to compile PySTP. This will
create two shared object files:
- pystp.so; this is PySTP extension module.
It must be copied into the default Python module path; otherwise you can
copy it anywhere and then tune the environmental variable
- libstp.so; this is STP's shared library.
You can copy it in a default system library path or you can put it
wherever you want and then set the update the environmental variable
PySTP is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 2 of the License, or (at your
option) any later version.
Copyright © 2006-2010
Lorenzo Martignoni <lorenzo at security dot dico dot unimi dot it>
Roberto Paleari <roberto at security dot dico dot unimi dot it>