git.iko.soy/Idris-dev
on d66da21 help sign in
Idris-dev/benchmarks/quasigroups
5 files
../ Main.idrRearrangement in preparation for use as benchmark Parser.idrRearrangement in preparation for use as benchmark Solver.idrRearrangement in preparation for use as benchmark boardAdd test board and wire up quasigroup solver to benchmark tools qgsolve.ipkgAdd test board and wire up quasigroup solver to benchmark tools