Added a new simple instance generator that can generate dense regular grid instances
Cleanup, added new environments
Moved eclipse runconfs
Added hard constraint phase to SFO planner, SFO uses BumpFunction and refactorizations
Added support for L1 and L2 heuristics
KSFO -k 1 was sometimes willing to accept high penalties instead of returning solution non-existence. Fixed.
Added -k parameter to the solver that controls the number of iterations performed by KSFO
Also available in: Atom