moved to GLPK 4.49, added DLL to binary distro
copy DLL during make install only on Windows
fix: multiplication was mapped to subtraction
installation of GLPK on Mac with universal architecture
clarified installation instructions. Added location on Mac
renamed to prevent overwriting during make install
fixed problem with strings
Merge remote-tracking branch 'remotes/origin/develop' into python
Merge remote-tracking branch 'origin/develop' into python
remerge with develop
Merge branch 'python' of https://github.com/gsdlab/clafer into python
remerge with develop