/python-minisat

MiniSat wrapper module for Python

Primary LanguageCOtherNOASSERTION

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

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.