Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
updated version of SAT4J pb (2.2.0v20100217)
org.sat4j.pb.jar (application/x-java-archive), 105.09 KB, created by Daniel Le Berre CLA on 2010-02-18 17:25:12 EST
(hide)
 
Creator: Daniel Le Berre CLA
Created: 2010-02-18 17:25:12 EST
Size: 105.09 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