refactor: move src/dsolvers/util => src/util