Fixpoint
v0.5.1
  • Pages
  • Modules

    CPSolver.Examples.Queens (Fixpoint v0.5.1)

    Summary

    Functions

    check_solution(queens)
    model(n)
    print_board(queens)
    solve(n, solver_opts \\ [])
    solve_and_print(nqueens, opts \\ [timeout: 1000])

    Functions

    Link to this function

    check_solution(queens)

    Link to this function

    model(n)

    Link to this function

    print_board(queens)

    Link to this function

    solve(n, solver_opts \\ [])

    Link to this function

    solve_and_print(nqueens, opts \\ [timeout: 1000])

    Hex Package Hex Preview (current file) Download ePub version

    Built using ExDoc (v0.30.6) for the Elixir programming language