diff -r 000000000000 -r 20e4ed35fd3f carbidecpp20devenv/plugins/org.sat4j.pb_2.0.0.v20080602.jar
Binary file carbidecpp20devenv/plugins/org.sat4j.pb_2.0.0.v20080602.jar has changed