diff -r 4dd82e2f2b17 -r 9aac8d1bb3e9 carbidecpp22devenv/plugins/org.sat4j.pb_2.1.0.v20090520.jar
Binary file carbidecpp22devenv/plugins/org.sat4j.pb_2.1.0.v20090520.jar has changed