ENHANCED: Rewriting min-max-witness templates to use constant space.
ENHANCED: Rewriting min-max-witness templates to use constant space.

koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel