PACKAGE NAME:  smodels-2.27-i486-1aro.tgz
PACKAGE LOCATION:  ./Console/smodels
PACKAGE SIZE (compressed):  44 K
PACKAGE SIZE (uncompressed):  120 K
PACKAGE REQUIRED:  
PACKAGE DESCRIPTION:
smodels: smodels
smodels:
smodels: The program smodels is an implementation of the stable model
smodels: semantics for logic programs.
smodels: Smodels can be used either as a C++-library that can be called from
smodels: user programs or as a stand-alone program together with a suitable
smodels: front-end.
smodels:
smodels:
smodels: Package created by Alessandro Rossini <aronnax@aronnax.it>
smodels: