An answer set processor intended to provide a nicer format for answer sets which represent transition systems and/or contain multi-valued atoms.