* asp: memoize the list of all target_specs to speed-up setup phase * asp: memoize using a cache per solver object