|
From: | Heinrich Schuchardt |
Subject: | [Bug-glpk] MiniSat-C: copying 32 bit integer to 64 bit pointer |
Date: | Thu, 19 Nov 2015 07:34:19 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.8.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |