basic version
more functions and objectives
more functions and objectives
more functions and objectives
with generator and execution script
now with execution script and basic communicator
abstract classes -> interfaces
abstract classes -> interfaces
additional policies
more functionality in the solution
exchange of policies
with 3satsolution generator
memory bound to heuristic and generator added to problem
classes to make broadcasting possible
more logging
more logging
start writing 3SAT problem generator
clause checking