Uses of Interface
org.jacop.satwrapper.WrapperComponent