PySTP - a Python extension module for STP

What is PySTP?

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 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>

Valid XHTML 1.0 Strict Valid CSS! Viewable With Any Browser