Learning Modulo Theories