This package contains the class needed to instantiate and encode problem in compact representation. In order to have more information about the instantiation process see On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. Koehler, J. and Hoffmann, J.