ap.terfor.arithconj
Class for creating models that assign truth values to Boolean variables.
Extend the given model, in such a way that the conditions of this model element are satisfied.
Class for creating models that assign truth values to Boolean variables.