diff --git a/org.sat4j.core.jar b/org.sat4j.core.jar
new file mode 100644
index 0000000000000000000000000000000000000000..60db98d6548c0427f62e598499bdf52dae5b81ee
Binary files /dev/null and b/org.sat4j.core.jar differ
diff --git a/org.sat4j.pb.jar b/org.sat4j.pb.jar
new file mode 100644
index 0000000000000000000000000000000000000000..03824bb8e356a38b405cb08f66fa74fa75f2c5d0
Binary files /dev/null and b/org.sat4j.pb.jar differ