Implement Solver-Wrapper for MinisatJava + some refactoring