[Cryptominisat-devel] CryptoMinisat2 reports UNSAT on SAT instance (current gitorious version, i.e. 2.9.0.1)

Mate Soos soos.mate at gmail.com
Mer 19 Jan 15:14:34 CET 2011


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Matthew,

On 01/19/2011 03:02 PM, Matthew Gwynne wrote:
> I've pulled the latest version of cryptominisat from gitorious, and
> built it using gcc 4.5.0 using the autotools build process, but when
> running it on the attached instance, it reports UNSAT.

Sorry for the inconvenience. There is a strange bug that seems to be
compilation-related. You can read about it in the last 3 emails here:

http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/2011-January/thread.html

I would happy if you could help debug, of course ;)

Bests,

Mate

- -- 
Mate Soos
Security Research Labs
http://www.srlabs.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk028coACgkQsTOOstKb0jmaZQCghzhtz0+DvcEbLtM4aCxLQhIC
jMYAoJDFYYFMM8m34v0Nb679zB5MtUHz
=8nuW
-----END PGP SIGNATURE-----



More information about the Cryptominisat-devel mailing list