Metadata-Version: 1.0
Name: borg
Version: 2012.4.01
Summary: the borg algorithm portfolio toolkit
Home-page: http://nn.cs.utexas.edu/pages/research/borg/
Author: Bryan Silverthorn
Author-email: bsilverthorn@gmail.com
License: MIT
Description: UNKNOWN
Keywords: borg algorithm portfolio solver SAT PB satisfiability
Platform: UNKNOWN
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python :: 2.6
Classifier: Operating System :: Unix
Classifier: Topic :: Utilities
Classifier: Topic :: Software Development :: Libraries
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
