Packages to support the testing of Curry programs
benchmark-papers ccti contracts currycheck easycheck