Draft Version of Formula Solver