An ICCMA-compliant command line application for the Dung library
Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause
A command line application written on top of the Dung library satisfying the ICCMA guidelines.