constraint_theory_core
