Renamed the HORNSAT solver.