clasp-1.3.X extended with option –opt-uncore that enables unsatisfiability-based optimization as in MSUnCore.

System (superseded by clasp 3)