XorReduction -- A specializer built on the ASP SEJITS framework

XorReduction is based on ctree for more information on ctree see ctree on github.