Versions of dlv and smodels

• We use dlv from November 24 , 1999.
• We use (since June 2000) smodels version 2.25 and lparse version 0.99.53.