Add DBM solver.
finished mostly.