Algorithms.TF.Oracle

Orthodox oracle

o1_ORACLE

o1_ORACLE_aux

o2_ConvertNode

o3_TestEqual

o4_POW17

square

o5_MOD3

o6_SUB

o7_ADD

o7_ADD_controlled

o8_MUL

double_TF

Blackbox oracle

placeholder_oracle