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