GNU Linear Programming Kit (GLPK) uses MiniSat-C. On 64bit Windows unsigned long has 32 bits and a pointer has 64 bits. clause_from_lit returns a pointer to an invalid memory adress.
Are there any plans to update MiniSat-C? The latest release seems to be v1.14.1. I could not find MiniSat-C on https://github.com/niklasso/minisat. Best regards Heinrich Schuchardt _______________________________________________ Bug-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk
