idris-lang/Idris-dev — pull request #616 by Ralith (2013-11-14 04:28:51+00:00)
Title: Quasigroup solver benchmark

Adds a backtracking solver for the quasigroup completion problem as a benchmark