def test_correct_path(database_dir):
for pid in PuzzleManager.getPuzzleIds():
p_cls = PuzzleManager.getPuzzleClass(pid)
for variant in p_cls.test_variants:
s_cls = PuzzleManager.getSolverClass(pid, test=True)
solver = s_cls(p_cls.generateStartPosition(variant),
dir_path=database_dir)
puzzle = p_cls.generateStartPosition(variant)
solver.solve()
if puzzle.numPositions:
assert puzzle.numPositions >= len(
solver._remoteness
), "{} defined numPositions to be {} but solver calculated {}".format(
puzzle.name, puzzle.numPositions, len(solver))
while puzzle.primitive() != PuzzleValue.SOLVABLE:
assert (solver.getValue(puzzle) == PuzzleValue.SOLVABLE
), "{} not SOLVABLE".format(
puzzle.toString(mode="minimal"))
positions = generateMovePositions(puzzle)
prev_remote = solver.getRemoteness(puzzle)
b = False
for pos in positions:
next_remote = solver.getRemoteness(pos[1])
if (next_remote != PuzzleValue.UNSOLVABLE
and next_remote < prev_remote):
puzzle = pos[1]
b = True
if not b:
raise AssertionError(
"Puzzle {} has {} has no moves to reach solution".
format(puzzle.__class__.name,
puzzle.toString(mode="minimal")))
def puzzles():
response = [
{
"gameId": puzzle_id,
"name" : PuzzleManager.getPuzzleClass(puzzle_id).name,
"status": check_available(puzzle_id)
}
for puzzle_id in PuzzleManager.getPuzzleIds()
]
return format_response(response)
def puzzle_variant(puzzle_id, variant_id):
validate(puzzle_id, variant_id)
puzzle = PuzzleManager.getPuzzleClass(puzzle_id).generateStartPosition(variant_id)
response = {
"description": variant_id,
"startPosition": puzzle.toString(mode="minimal"),
"status": check_available(puzzle_id, variant_id),
"variantId": variant_id
}
return format_response(response)
def puzzle(puzzle_id):
validate(puzzle_id)
puzzlecls = PuzzleManager.getPuzzleClass(puzzle_id)
response = {
"puzzle_id": puzzle_id,
"puzzle_name": puzzlecls.name,
"author": puzzlecls.author,
"description": puzzlecls.description,
"date_created": puzzlecls.date_created,
"variants": list(puzzlecls.variants)
}
return format_response(response)
def validate(puzzleid=None, variantid=None, position=None):
if puzzleid == None:
raise ValueError("Nothing to validate")
if not PuzzleManager.hasPuzzleId(puzzleid):
abort(404, description="PuzzleId not found")
if variantid != None:
variants = PuzzleManager.getPuzzleClass(puzzleid).variants
if variantid not in variants:
abort(404, description="VariantId not found")
if position != None:
try:
PuzzleManager.validate(puzzleid, variantid, position)
except PuzzleException as e:
abort(404, description=str(e))
def server_start():
# Check which Puzzles have been solved or not solved
for p_cls in PuzzleManager.getPuzzleClasses():
if p_cls.id not in puzzle_solved_variants:
puzzle_solved_variants[p_cls.id] = {}
variants = p_cls.variants
for variant in variants:
p_cls = PuzzleManager.getPuzzleClass(p_cls.id)
s_cls = PuzzleManager.getSolverClass(p_cls.id, variant)
puzzle = p_cls.generateStartPosition(variant)
solver = s_cls(puzzle, dir_path=app.config['DATABASE_DIR'])
if os.path.exists(solver.path):
puzzle_solved_variants[p_cls.id][variant] = solver
def puzzle(puzzle_id):
validate(puzzle_id)
puzzlecls = PuzzleManager.getPuzzleClass(puzzle_id)
response = {
"gameId": puzzle_id,
"name": puzzlecls.name,
"author": puzzlecls.auth,
"description": puzzlecls.desc,
"date_created": puzzlecls.date,
"variants": [{
"description": variant_id,
"startPosition": puzzlecls.generateStartPosition(variant_id).toString(),
"status": check_available(puzzle_id, variant_id),
"variantId": variant_id
} for variant_id in puzzlecls.variants]
}
return format_response(response)
def check_available(puzzle_id, variant=None):
if puzzle_id not in puzzle_solved_variants:
puzzle_solved_variants[puzzle_id] = {}
if variant is None: return "unknown"
elif len(puzzle_solved_variants[puzzle_id]) == 0:
return "unavailable"
elif variant is None or variant in puzzle_solved_variants[puzzle_id]:
return "available"
p_cls = PuzzleManager.getPuzzleClass(puzzle_id)
s_cls = PuzzleManager.getSolverClass(p_cls.id, variant)
puzzle = p_cls.generateStartPosition(variant)
solver = s_cls(puzzle, dir_path=app.config['DATABASE_DIR'])
import os
if os.path.exists(solver.path):
puzzle_solved_variants[puzzle_id][variant] = solver
return "available"
return "not available"
def puzzle_position(puzzle_id, variant_id, position):
validate(puzzle_id, variant_id, position)
puzzle = PuzzleManager.getPuzzleClass(puzzle_id).fromString(position)
solver_cls = PuzzleManager.getSolverClass(puzzle_id, variant_id,
app.config['TESTING'])
s = solver_cls(puzzle, dir_path=app.config['DATABASE_DIR'])
moves = generateMovePositions(puzzle)
response = {
"position": puzzle.toString(),
"remoteness": s.getRemoteness(puzzle),
"value": s.getValue(puzzle),
"moves": {
str(move[0]): {
"position": move[1].toString(),
"remoteness": s.getRemoteness(move[1]),
"value": s.getValue(move[1])
}
for move in moves
}
}
return format_response(response)
def puzzle_position(puzzle_id, variant_id, position):
validate(puzzle_id, variant_id, position)
puzzle = PuzzleManager.getPuzzleClass(puzzle_id).fromString(position)
s = puzzle_solved_variants[puzzle_id][variant_id]
moves = generateMovePositions(puzzle)
this_remoteness = s.getRemoteness(puzzle)
response = {
"position": puzzle.toString(mode="minimal"),
"remoteness": this_remoteness
if this_remoteness != PuzzleValue.MAX_REMOTENESS
else -1,
"positionValue": s.getValue(puzzle),
}
move_attr = []
for move in moves:
next_remoteness = s.getRemoteness(move[1])
move_attr.append(
{
"position": move[1].toString(mode="minimal"),
"positionValue": s.getValue(move[1]),
"move": str(move[0]),
"moveValue": PuzzleValue.SOLVABLE
if this_remoteness > next_remoteness
else PuzzleValue.UNDECIDED
if this_remoteness == next_remoteness
else PuzzleValue.UNSOLVABLE,
"deltaRemoteness": this_remoteness - next_remoteness,
"remoteness": next_remoteness
if next_remoteness != PuzzleValue.MAX_REMOTENESS
else -1,
}
)
response["moves"] = move_attr
return format_response(response)
"--auto",
action="store_true",
help="Puzzle plays itself")
parser.add_argument("-l",
"--list",
action="store_true",
help="Lists puzzles and their ids")
args = parser.parse_args()
if not PuzzleManager.hasPuzzleId(args.puzzleid):
print("Possible puzzles:")
print("\n".join(PuzzleManager.getPuzzleIds()))
raise Exception("Puzzleid is not recorded in PuzzleList")
p_cls = PuzzleManager.getPuzzleClass(args.puzzleid)
puzzle = None
if args.variant:
puzzle = p_cls.generateStartPosition(args.variant)
if args.position:
puzzle = p_cls.deserialize(args.position)
if not puzzle:
puzzle = p_cls()
if args.info or args.auto:
s_cls = PuzzleManager.getSolverClass(args.puzzleid, args.variant)
solver = s_cls(puzzle)
else:
solver = None
def puzzle_variant(puzzle_id, variant_id):
validate(puzzle_id, variant_id)
puzzle = PuzzleManager.getPuzzleClass(puzzle_id).generateStartPosition(
variant_id)
response = {"starting_pos": puzzle.toString()}
return format_response(response)