OpenBip/binary-tactics archive