CORAL:
Meta-heuristic constraint solver.