[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?]

From: Andrew Makhorin
Subject: Re: [Help-glpk] [Fwd: Enabling MiniSat for 64 bit?]
Date: Wed, 24 May 2017 11:13:56 +0300

On Tue, 2017-05-23 at 12:51 +0300, Chris Matrakidis wrote:
> Hi Andrew,
> > Could you please post me the entire files (not diff's)?
> Here they are.
> Best Regards,
> Chris Matrakidis

Hi Chris,

I made necessary changes in minisat.c to provide 64-bit portability as
well as some other changes in src/api/minisat1.c and src/api/intfeas1.c
based on your three patches you posted to the list (in January).

Please see a preliminary non-official release of glpk 4.62 at:

Best regards,

Andrew Makhorin

reply via email to

[Prev in Thread] Current Thread [Next in Thread]