Fixed ULTRA to never return program 'ultra-padding.
Changed max size of alternation from 10,000 to 2*max-points
Added Eclipse Public License.
thelmuth/fix-ultra-padding
Merge branch 'master' into wc-from-domains