Metadata-Version: 1.1
Name: satispy
Version: 1.0a4
Summary: An interface to SAT solver tools (like minisat)
Home-page: https://github.com/netom/satispy/
Author: FÁBIÁN Tamás László
Author-email: giganetom@gmail.com
License: BSD License
Download-URL: https://github.com/netom/satispy/tarball/1.0a4#egg=satispy-1.0a4
Description: UNKNOWN
Platform: OS Independent
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Plugins
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: BSD License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Software Development :: Libraries
