Fix a bug in preprocessing.
Remove redundant comment - this is done.
Fix bounded search tree implementation.
Fixing the conflict resolution for bounded search tree. Related to #4.
Add benchmarks for different conflict resolution methods. Related to #4.
Fix priority queue to actually use the heap correctly. :P
Add possibility to highlight a vertex cover of a graph.
Return the reduced parameter size and the set of vertices of a crown belonging to an optimal cover after crown reduction.
Add 'reversed' Petersen graph generator.