Commit 2fd6047a authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

Initial skeleton; expect more of these empty files to be pushed. Priority is...

Initial skeleton; expect more of these empty files to be pushed. Priority is skeleton the code, after this the priority is initial documentation
parents
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
<classpathentry kind="output" path="bin"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>Vagabond</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>
Please direct all logs to go into this folder so that they do not accidently get added into the repo.
\ No newline at end of file
package vagabond;
public class Vagabond {
}
package vagabond;
public class VagabondCUI {
}
package vagabond;
public class VagabondInstance {
}
package vagabond;
public class VagabondOptionString {
}
package vagabond.csat;
public class ConvertToCSAT {
}
package vagabond.ilp;
public class ConvertToILP {
}
package vagabond.ilp;
public class RunILPSolver {
}
package vagabond.sat;
public class ConvertToSAT {
}
package vagabond.sat;
public class RunSATSolver {
}
package vagabond.testing;
import static org.junit.Assert.*;
import org.junit.Test;
public class VagabondRegressionTests {
@Test
public void test() {
fail("Not yet implemented");
}
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment