Benchmark sets for extended CHC with disjunctions This repository collects the instances of extended CHC satisfiability problems. Currently, the only set is as follows: hononterm-easy