python-minisat is Python binding for MiniSat.
Using setuptools/distribute
$ easy_install python-minisat
Using pip
$ pip install python-minisat
From source
$ python setup.py install
Copyright (c) 2011 Taku Fukushima. All rights reserved.
python-minisat is MIT Lisense
If you'd like to know more detail, check COPYRIGHT
in source.