Add Solver.get_type_of_variables for inferring types of additional variables (#7)#8
Open
am009 wants to merge 1 commit intoGrammaTech:masterfrom am009:more-var-type
+45
