Hi Chris, > I can confirm that minisat works as expected in 64-bit linux and > windows.
Thank you very much for testing. > Note that I did the windows testing using mingw64 so some > testing with another compiler may still be worthwhile. Will wait for bug reports. Best regards, Andrew Makhorin _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
