Mail Archive Home | sat4j-dev List | November 2007 Index
| <-- Date Index | <-- Thread Index |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Dear all,
SAT4J web site has been slightly updated.
The whole site content will be updated for the new 2.0 release, which
makes a clear distinction between the core SAT facilities and the tools
built upon them.
Your feedback about the new organization is welcome.
Cheers,
Daniel Le Berre and Anne Parrain
- --
Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
MCF, CRIL-CNRS FRE 2499, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org
iD8DBQFHSunAqVioN+Yc2ggRAjwXAKDznB8DYVvLP3Rd6sDFpksVSCkfTwCfXBye
WpEh2QQjnuyFlwJnMmZEa1c=
=xkbg
-----END PGP SIGNATURE-----
| <-- Date Index | <-- Thread Index |
Powered by MHonArc.
Copyright © 2006-2007, OW2 Consortium | contact | webmaster.