Ejemplos de at_most_one en Python

Ejemplo n.º 1

Archivo: nqueens.py Proyecto: JaDogg/__py_playground

def queens_problem(n):
    board = make_board(n)
    return conjoin(
        flatten(exactly_one(row) for row in board),
        flatten(at_most_one(col) for col in transpose(board)),
        flatten(at_most_one(diag) for diag in rising_diagonals(board)),
        flatten(at_most_one(diag) for diag in falling_diagonals(board)))

Ejemplo n.º 2

def queens_problem(n):
    board = make_board(n)
    return conjoin(
        flatten(exactly_one(row) for row in board),
        flatten(at_most_one(col) for col in transpose(board)),
        flatten(at_most_one(diag) for diag in rising_diagonals(board)),
        flatten(at_most_one(diag) for diag in falling_diagonals(board)))

Ejemplo n.º 3

Archivo: sudoku.py Proyecto: darius/sketchbook

 def add_permutation(slots):
     for variables in transpose(slots):
         problem.extend(at_most_one(variables))

Ejemplo n.º 4

 def add_permutation(slots):
     for variables in transpose(slots):
         problem.extend(at_most_one(variables))