implicit-predicates-oracle 0.0.1

Slow exact reference implementation used to test implicit-predicates
Documentation