setupSolver

fun setupSolver(target: FlagsBuilder): MutableTheory