Keep release versions in sync
ignore Version.java
Fixed proof generation.

Farkas coefficients are now written as Ints if integers are present and Reals otherwise.
TerminationRequest was ignored after propagation.

This commit adds a second check for user requested termination in the main solver loop after all propagations are handled.
Fixed cut creator.

The cut creator did not ensure that all columns were positive.  This commit fixes this issue which causes a non-termination on some integer examples.
Make ant run junit4.

I added the ant-junit4 library from my ant distribution.  This fixed a bug where the ant junit task by default tries to run junit3 and failed on almost all tests
Fixed user termination request.

There was still one point in the DPLLEngine where we did not check for user termination requests but for timeouts.
Additionally the test case for this feature was broken and has been changed since the termination request is not directly related to decisions
Fixed .project files

The names should match the corresponding project name and directory name.  Fixes a bug from SVN to GIT transition.
Fixed Jenkins hash for a single element.

Since x ^ x == 0 we directly initialize c to the result of the next computation since c = 0 holds before.
Fixed bugs discovered by findbugs.

Mostly we compared two objects of different type using equals.  Additionally, some strange pieces of code were detected in the proof tracker and remove/rewritten.
Add @clause for all clauses in proof

Even for unit and empty clauses.