git.iko.soy/Idris-dev
on master help sign in
Add test board and wire up quasigroup solver to benchmark tools
4fcecd9Benjamin Saunders
benchmarks/ALL+1
compare with master
unifiedsplit
@@ -1 +1,2 @@
1trivial/sortvec 2000
1trivial/sortvec 2000
2+quasigroups/qgsolve board
benchmarks/quasigroups/boardnew file+12
@@ -0,0 +1,12 @@
1+. . . . . . . . . . . 1
2+. . . . . . . . . . 1 .
3+. . . . . . . . . 1 . .
4+. . . . . . . . 1 . . .
5+. . . . . . . 1 . . . .
6+. . . . . . 1 . . . . .
7+. . . . . 1 . . . . . .
8+. . . . 1 . . . . . . .
9+. . . . . . . . . . . .
10+. . 9 . . . . . . . . .
11+. 1 . . . . . . . . . .
12+1 . . . . . . . . . . .
benchmarks/quasigroups/qgsolve.ipkgnew file+7
@@ -0,0 +1,7 @@
1+package qgsolve
2+
3+modules = Solver, Parser, Main
4+
5+executable = qgsolve
6+main = Main
7+