impl-excl (racket): Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates
Keywords: logic