Mail Archive Home | sat4j-dev List | June 2006 Index
| <-- Date Index --> | <-- Thread Index --> |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
I just received an email from Carsten Sinz announcing me that SAT4J was
qualified to the SAT Race 2006.
I submitted the release 1.6_01 for the second qualification step (SAT4J
solved 39 benchmarks out of 50 during the first qualification step, and
only solvers able to conquer 40 instances or more were selected).
Let's see what will happen in August :-=)
Daniel
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org
iD8DBQFEonoVqVioN+Yc2ggRAutHAKC+JKfNsEw+a8+zYmuWFohFUtvBkACfVKjK
4KMsKZBsrQ4eK0SC0VGIKsI=
=EN3n
-----END PGP SIGNATURE-----
| <-- Date Index --> | <-- Thread Index --> |
Powered by MHonArc.
Copyright © 2006-2007, OW2 Consortium | contact | webmaster.