Package jadex.bridge.nonfunctional.hardconstraints