XSB/packages/xasp/smodels
