This library implements the moving targets algorithm, which integrates machine learning and constraint processing in a decoupled way. The main idea is that the leaner and constraint solver take turns moving the output vector until the algorithm converges. The AI Domain Definition Language (AIDDL) allows to create models for integrated AI system. In this library, we use AIDDL to extend a standard machine learning problem with constraints that can, for instance, impose fairness measures.