Add comments suggesting some solver upgrades to Light Up (perhaps for