Look into Clingo features

[domoritz]

• Consider using defaults
• Remove not_required and just use not required
• Use unsat cores to find minimal sets of violations
• Consider using constants as a way to enable/disable constraints instead of rolling our own
• Use the clingo parser instead of our own hand rolled parser
• Consider using aspirin for preferences