[PPL-devel] ppl/interfaces/Prolog/SICStus solve.pl
hill at spartacus.cs.unipr.it
Thu Nov 1 13:04:28 CET 2001
Module name: ppl
Changes by: hill at cs.unipr.it 2001-11-01 13:04:28
Old code for ppl_renew_polyhedron that does not use ppl_delete_polyhedron
has been restored.
More information about the PPL-devel