removes the PBL logic class
adds new functionality to the constraint data structure
adds new functionality
adds an object which will provide different learning procedures
adds a class which provides a cdcl-like aproach to solve pseudo-boolean constraints
adds some tests for CDCLLike
adds a method to convert a dimacs instance to a pseudo-boolean instance
fix the wrong updateWatchedLiterals method and add some functionality
Unassigned variables are now determined over their number of occurrences. Removes print instructions, which were needed for debug purposes.
isResolvable was re-implemented
refactoring CDCLLike
adding comments to LearnUtil