Add GMLMIP-0.1 tool

GMLMIP-0.1/README.txt

GMLMIP-0.1/clean.sh

GMLMIP-0.1/compile.sh

GMLMIP-0.1/formulas/GML_formula.cpp

GMLMIP-0.1/formulas/GML_formula.h

GMLMIP-0.1/formulas/PML_formula.cpp

GMLMIP-0.1/formulas/PML_formula.h

GMLMIP-0.1/formulas/formula.cpp

GMLMIP-0.1/formulas/formula.h

GMLMIP-0.1/formulas/makefile

GMLMIP-0.1/formulas/rational.cpp

GMLMIP-0.1/formulas/rational.h

GMLMIP-0.1/formulas/satisfyingassignment.cpp

GMLMIP-0.1/formulas/satisfyingassignment.h

GMLMIP-0.1/input

GMLMIP-0.1/main.cpp

GMLMIP-0.1/makefile

GMLMIP-0.1/parser/makefile

GMLMIP-0.1/parser/mlf-driver.cpp

GMLMIP-0.1/parser/mlf-driver.h