Desired Model Generation

• Effective Models
  • Domain size = Number of constants
  • Natural and unnatural equality on domain elements
  • Minimal(ish) models
  • Non-trivial models

• Model Generators
  • Automatic
  • Computationally efficient model representation
  • Cope with large and complex problems
  • Elegant engineering for simple changes