I would like to use a 0-1 integer programming solver as a tool in a java program. I cannot find anything easy to use on the web. I tried the pseudo-boolean library from sat4j but this is not well documented, some classes are not consistent with their description in the API (some methods signature are different).
Would you have any suggestion?