README
Badge
Check for unknown constraints