Dual moved to src; fixed repeatibility issues
Probability Evaluator refactoring
Probability Function added
Reducing the number of solver calls, refactorings