Solucionador de restrições do cassowary
