Make KiCS2 a CPM package
Having KiCS2 as a proper CPM package would make the architecture more consistent with other Curry packages and simplify the inclusion of dependencies.
Having KiCS2 as a proper CPM package would make the architecture more consistent with other Curry packages and simplify the inclusion of dependencies.