BFSolver works for most schemes
Merge branch 'auto-batch' of github.com:JHUISI/charm into auto-batch