git.iko.soy/Idris-dev
on master help sign in
Add test board and wire up quasigroup solver to benchmark tools
commit4fcecd95766e16a487fed7205c9d95b567474b3f authorBenjamin Saunders <besaunde@sfu.ca> dateWed 13 Nov 2013, 20:30 (13 years ago) parent7426114
3 files changed+20
compare with master
unifiedsplit
benchmarks/ALL+1 benchmarks/quasigroups/board+12 benchmarks/quasigroups/qgsolve.ipkg+7
benchmarks/ALL+1
@@ -1 +1,2 @@
11trivial/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+