PySTP is a
Python extension module that interfaces with
STP.
STP is a decision procedure for the theory of fixed-width bitvectors and arrays, and PySTP enables Python scripts to use STP.
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
unpacked.
First, download STP
from
STP Main Page
and compile it; this will create the static libraries. Then, copy
all
the static libraries (
libast.a,
libcinterface.a,
libconstantbv.a,
libconsteval.a,
libminisat.a,
libsimplifier.a, and
libstp.a) to
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
PYTHONPATH accordingly.
- 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
LD_LIBRARY_PATH.
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
