The "A2 alternate ordering" heuristic designed by Benni, implemented using the Python heuristic interface of WASP.
Use the heuristic together with HWASP on the heuristic branch. To run the heuristic on the sample instance, execute
gringo ccp-encoding.asp ccp-sample-instance.asp | hwasp --heuristic-interpreter=python --heuristic-scriptname=heuristic