Releases: gsimko/InterfacingFlowstar
Releases · gsimko/InterfacingFlowstar
w32 and w64 release of InterfacingFlowstar
The 32-bit DLL was compiled using 32-bit MinGW and G++ 4.8.1 with the following static libs:
- gmp 5.1.3
- mpfr 3.1.2
- gsl 1.9
- glpk 4.52
The 64-bit DLL was compiled using 64-bit MingW and G++ 4.7.0 (experimental) with the same static libs.