Swift implementation of Peter Norvig's constraint based solver.