SpySMAC

SpySMAC is an algorithm configuration and analyzing tool. It is written in Python and uses SMAC (Java). It combines the configuration quality of SMAC and extensive analysis providing insights into the optimized parameter settings.

References

  • S. Falkner, M. Lindauer and F. Hutter
    SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers
    SAT Conference 2015. To appear