Mark resolved constraint violations in list and improve sorting

Closes #148

See merge request !127