# HG changeset patch
# User cawthron
# Date 1259950150 21600
# Node ID 4dd82e2f2b170dc211a394ebe2d4019662a5d2c6
# Parent  eea06ff1b30b320144aa19e64693bba7ad94b833
add files for RCL_2_2

diff -r eea06ff1b30b -r 4dd82e2f2b17 carbidecpp22devenv/plugins/org.sat4j.core_2.1.0.v20090520.jar
Binary file carbidecpp22devenv/plugins/org.sat4j.core_2.1.0.v20090520.jar has changed