caspo design

Improve encoding with:
   - better grounding
   - symmetry-breaking constraints
Use --opt-mode=optN and --save-progress