README.rst

python-minisat - MiniSat Solver wrapper module for Python

python-minisat is Python binding for MiniSat.

Installation

• Using setuptools/distribute

  $ easy_install python-minisat
  

• Using pip

  $ pip install python-minisat
  

• From source

  $ python setup.py install
  

References

• ruby-minisat
• MiniSat-ocaml

Copyright

Copyright (c) 2011 Taku Fukushima. All rights reserved.

License

python-minisat is MIT Lisense

If you'd like to know more detail, check COPYRIGHT in source.