switchable backend (bitblaster/solver)