Language.Clafer.IG.CommandLineParser

data Command

data UnsatCoreMinimization

parseCommandLine

parseCommandLineAutoComplete

commandStrings

expectedMessage

unexpectedMessage

errorMessages