design a more modular and black box api
testing simple circuit
better names for testing formula builder api
interface for low level utilization of the sat solver