idris-0.9.19.1: benchmarks/quasigroups/qgsolve.ipkg

package qgsolve

modules = Solver, Parser, Main

executable = qgsolve
main = Main