experiment with custom branching solver approach#574

daejunpark wants to merge 1 commit into

maina16z/halmos:mainfrom

perf/custom-branching-solvera16z/halmos:perf/custom-branching-solverCopy head branch name to clipboard