hclavis applies clavis visualization tool to hclasp, an extension of clasp to program the heuristic of the solver directly from the ASP code.