| <?xml version="1.0" encoding="UTF-8"?> |
| <classpath> |
| <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.4"/> |
| <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> |
| <classpathentry kind="src" path="src"/> |
| <classpathentry kind="src" path="tests"/> |
| <classpathentry kind="lib" path="sat4j/org.sat4j.core.jar"/> |
| <classpathentry kind="lib" path="sat4j/org.sat4j.pb.jar"/> |
| <classpathentry kind="output" path="bin"/> |
| </classpath> |
