CHC solver based on partial evaluation and constraint specialisation.
Assumes the following are installed.
Ciao Prolog (github.com/ciao-lang/ciao.git), Ciao Bundle RAHFT (installed with 'ciao get github.com/bishoksan/RAHFT'), which installs also the bundles ciao_ppl, ciao_yices and chclibs). Z3 with Python bindings.
The appropriate paths for CIAOROOT, CIAOPATH and PYTHONPATH should be defined.