Usage 1. Several files are needed in your directory to execute ASSAT(X). A grounding system used to instantiate a given program. It could be lparse, the grounding system of Smodels, or dlv ( with the paramenter -instantiate ). assat, an executable file of ASSAT. SAT solver X and its associated files. By default ASSAT uses Chaff2. Users can specify other SAT solvers. 2. Syntax $ lparse | assat -lparse or $ dlv -instantiate | assat -dlv or $ assat Without any