Subject: To be notified of the latest SAT4J commits.
This button tries to protect the mailing list archives against address harvesting by a spammer.
