A simple circuit library for easy generation of large complicated SAT queries or garbled circuits