PACKAGE NAME: lparse-1.0.13-i486-1aro.tgz PACKAGE LOCATION: ./Console/lparse PACKAGE SIZE (compressed): 170 K PACKAGE SIZE (uncompressed): 500 K PACKAGE REQUIRED: smodels >= 2.27 PACKAGE DESCRIPTION: lparse: lparse lparse: lparse: Smodels works with variable-free programs that are quite cumbersome lparse: to generate by hand. lparse: Lparse is a front-end that adds variables (and a lot of other stuff) lparse: to the accepted language and generates a variable-free simple logic lparse: program that can be given to smodels. lparse: lparse: lparse: Package created by Alessandro Rossini lparse: