adding the interface for decision procedures
rename the instance variable learned to removable
adapt the class to the new interface
fixing a bug
adapting the CDCLLikeTests to the new interface
adding some more tests
changing some comments
adding an interface for Pseudo-Boolean Optimiser
changing val to var
fixing and optimising the add-functions, adding the methods initConstraints and printVariables, fixing a bug at reset-method
adding the linear search optimiser
adding tests for linear search optimiser
adding tests for linear optimiser
adding some test files
fixing a bug
addint more tests
adapting the binarySearchOptimiser to the new interface
adding tests for binary search optimisation