Finding efficient circuits for ensemble computation
An Extensible SAT-solver