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