Re: [Fwd: Enabling MiniSat for 64 bit?]

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:
http://sourceforge.net/projects/noumenon/files/tmp/


Best regards,

Andrew Makhorin