Added counter resetting and thread interruption to fix #3
Merge pull request #4 from malaverdiere/develop

Added counter resetting and thread interruption to fix #3
Refactored flow function computation to call FlowFunction.computeTargets in a protected method (which can be overwritten by child classes) instead of directly in the solver logic.

The concrete use case was a return flow function which needed access to the context in which it was applied. With this refactoring, one can now simply subclass the solver, overwrite the new protected method and do one's problem-specific magic there.
added a parameter in the internal protected method and fixed some JavaDoc comments
Added SBT build file
Updated Guava
Bumped version number
Ported to SLF4J Logging
Added logging information in IDESolver.computeValues
Updated version number