floere/picky — Issue #65: Early Termination
Author: floere
Created: 2011-11-30 23:58:02+00:00
State: open
Labels: Server, Thinkies

Picky currently calculates all solutions, always (still fast ;) ). Offer the option of early termination.

Maybe make early termination the default and offer non-early termination?