C

curry-libs

The base libraries of PAKCS and KiCS2 (fork)

Forked from curry / curry-libs