piclasp, per-instance clasp, provides a wrapper script for the algorithm selector SMAC and a file for the description of the configuration space of clasp

Resources