shlomif/lp-based-puzzle-solvers archive