-  implementation of ILPSlover and adaptions