CPSolver.Examples.Hakank.QuasigroupCompletion (Fixpoint v0.20.2)
Link to this section Summary
Functions
quasigroup_completion(mat,num_sols \ :infinity)
Link to this section Functions
Link to this function
puzzle(int)
Link to this function
quasigroup_completion(mat, opts \\ [])
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.
Link to this function
run(opts \\ [])
Link to this function
run_unsatisfiable(opts \\ [])
Link to this function