Added the symbSolver file which contains code to solve for values using Z3, It should be fully functional but I will add more tests to test.ml soon to ensure it is.
Added the symbSolver file which contains code to solve for values using Z3, It should be fully functional but I will add more tests to test.ml soon to ensure it is.

jfeser/L2