Different Constraint Domains: What for?

• Why different computation domains?
• After all, everything is bytes...
• Or logical terms...
• But:
  • Different problems and elements involved in them have different characteristics
  • Some domains may be better suited for a given problem
  • And people do perceive different properties in the elements around us
• Having different domains allows us to:
  • Abstract the properties of the elements we are working with
  • Choose an appropriate constraint solver
• Thus, we do not have to deal with low-level details
• Example: having operations over complex numbers already (and correctly) defined