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
  

• ruby-minisat
• MiniSat-ocaml

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.