This package src.contains classes for real-based objects (real constraints, variables, explanations). For sake of clarity, constraints, expressions, search and explanations are contined in "sub packages".