This package provides a tool for the automatic generation of test cases for Curry programs via concolic testing.
Detailed package documentation (available shortly after this version has been published)