Removing permutations - experiment failed.
Removing `factorial` - failed experiment.
Adding a priority queue implementation.
Fixing a bug in kernelization tests.
Renaming LP formulation files.
Adding VERY basic stuff for the LP formulation.