[Bug-glpk] MiniSat-C: copying 32 bit integer to 64 bit pointer

[Heinrich Schuchardt]

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