Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
updated version of SAT4J core (2.2.0v20100217)
org.sat4j.core.jar (application/x-java-archive), 170.87 KB, created by Daniel Le Berre CLA on 2010-02-18 17:24:31 EST
(hide)
 
Creator: Daniel Le Berre CLA
Created: 2010-02-18 17:24:31 EST
Size: 170.87 KB

Attachment is not viewable in your browser because its MIME type (application/x-java-archive) is not one that your browser is able to display.

Download the attachment.

Actions: View
Attachments on bug 302582: 158853 | 158873 | 158883 | 158894 | 159062 | 159083 | 159219 | 159259 | 159494 | 159495