diff -r 000000000000 -r 82d1d1de1a01 carbidecpp20devenv/plugins/org.sat4j.core_2.0.0.v20080602.jar
Binary file carbidecpp20devenv/plugins/org.sat4j.core_2.0.0.v20080602.jar has changed