# HG changeset patch
# User cawthron
# Date 1259950157 21600
# Node ID 9aac8d1bb3e9489041c1344baa908ab70501c599
# Parent  4dd82e2f2b170dc211a394ebe2d4019662a5d2c6
add files for RCL_2_2

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