Parse clasp SAT solver output as well.
Parse clasp SAT solver output as well.

skoef/pkg,junovitch/pkg,en90/pkg,skoef/pkg,khorben/pkg,junovitch/pkg,en90/pkg,Open343/pkg,Open343/pkg,khorben/pkg,khorben/pkg