Fixed style issues, also added special case for printing exact constraints