Metadata-Version: 1.1
Name: satispy
Version: 1.1b1
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.1b1#egg=satispy-1.1b1
Description: UNKNOWN
Platform: OS Independent
Classifier: Development Status :: 4 - Beta
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 :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Software Development :: Libraries
