QuasigroupCompletion (Fixpoint v0.8.29)
Summary
Functions
quasigroup_completion(mat,num_sols \ :infinity)
Functions
Link to this function
main2()
Link to this function
main3()
Link to this function
main4()
Link to this function
main()
Link to this function
puzzle(int)
Link to this function
quasigroup_completion(mat, num_sols \\ :infinity)
quasigroup_completion(mat,num_sols \ :infinity)
Solves the Quasigroup completion problem for the matrix mat
.
num_sols
are the required number of solutions, defaults to :infinity.