CORAL: Meta-heuristic constraint solver.