Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Update for idris 0.9.9.3
Take board path as argument
Rearrangement in preparation for use as benchmark
Merge branch 'quasigroups' into quasigroup-solver-benchmark
Add test board and wire up quasigroup solver to benchmark tools
Merge pull request #616 from Ralith/quasigroup-solver-benchmark

Quasigroup solver benchmark