added files for bv algebraic solver