GitHub repository: sfalkner/SpySMAC
Primary language: Python
Created: 2015-05-09T21:35:54Z
Description: A tool for automatic SAT solver configuration using SMAC combined with extensive analysis.