Skip to content

Commit

Permalink
update java solver
Browse files Browse the repository at this point in the history
  • Loading branch information
tahg authored and robinhouston committed Oct 29, 2018
1 parent f6fe166 commit 1bb5070
Show file tree
Hide file tree
Showing 12 changed files with 842 additions and 267 deletions.
6 changes: 5 additions & 1 deletion java-solver/readme.txt
@@ -1,5 +1,9 @@
the superperm_sols file I have here is a list of results from my solver, one solution per line. This can be used with the MakePerms file to spit out actual solutions. Compared to the solver, this class is a real mess. If any one wants to clean it up or port it, feel free.

The solver is in the uncreatively named class Main. It's kind of a mess in the interest of speed, but if anyone wants to try and clean it up/port it, improvements are welcome.
The solver is in 3 files:
Generator
Solver
MakePerms
To change the pattern length (n), edit the strings at the top of Generator and MakePerms.

Each solution lists the edges incoming to the indicated nodes where a non-greedy choice was made. The node order is as defined in MakePerms.
139 changes: 0 additions & 139 deletions java-solver/src/superperm/Main.java

This file was deleted.

127 changes: 0 additions & 127 deletions java-solver/src/superperm/MakePerms.java

This file was deleted.

6 changes: 6 additions & 0 deletions java-solver/superperm/.classpath
@@ -0,0 +1,6 @@
<?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/JavaSE-1.8"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/>
</classpath>
1 change: 1 addition & 0 deletions java-solver/superperm/.gitignore
@@ -0,0 +1 @@
bin
17 changes: 17 additions & 0 deletions java-solver/superperm/.project
@@ -0,0 +1,17 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>superperm</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>
22 changes: 22 additions & 0 deletions java-solver/superperm/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,22 @@
eclipse.preferences.version=1
org.eclipse.jdt.core.codeComplete.argumentPrefixes=
org.eclipse.jdt.core.codeComplete.argumentSuffixes=
org.eclipse.jdt.core.codeComplete.fieldPrefixes=
org.eclipse.jdt.core.codeComplete.fieldSuffixes=
org.eclipse.jdt.core.codeComplete.localPrefixes=
org.eclipse.jdt.core.codeComplete.localSuffixes=
org.eclipse.jdt.core.codeComplete.staticFieldPrefixes=
org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
org.eclipse.jdt.core.codeComplete.staticFinalFieldPrefixes=
org.eclipse.jdt.core.codeComplete.staticFinalFieldSuffixes=
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
org.eclipse.jdt.core.compiler.compliance=1.8
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
org.eclipse.jdt.core.compiler.debug.localVariable=generate
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.source=1.8
org.eclipse.jdt.core.javaFormatter=org.eclipse.jdt.core.defaultJavaFormatter
6 changes: 6 additions & 0 deletions java-solver/superperm/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,6 @@
eclipse.preferences.version=1
formatter_settings_version=13
org.eclipse.jdt.ui.exception.name=e
org.eclipse.jdt.ui.gettersetter.use.is=true
org.eclipse.jdt.ui.keywordthis=false
org.eclipse.jdt.ui.overrideannotation=true

0 comments on commit 1bb5070

Please sign in to comment.