translator module

exception translator.AnswerAssertionError[source]

Raised when answer assertion validation fails

exception translator.NoSolutionError[source]

Raised when Z3 solver cannot find any solution to the constraints

exception translator.PuzzleGenerationError[source]

Bases: Exception

Base exception for puzzle generation errors

exception translator.RandomGenerationError[source]

Raised when random number/option generation fails after multiple attempts

exception translator.TooManySolutionsError[source]

Raised when the number of solutions exceeds the maximum allowed

translator.process_dynamic_conditions(sym: str, template: dict)[source]

translator.process_multiple_derived_symbols(sym: str, templates: str)[source]

translator.process_multiple_query(q: str, qconfig: str, cnt: int)[source]

translator.process_post_generation(Dict: dict, calc_solution=True)[source]

translator.process_single_derived_symbols(sym: str, template: str)[source]

translator.process_single_query(q: str, qconfig: str, cnt: int)[source]

translator.process_with_config(puzzle_spec_path, output_path, config_file)[source]

translator.repeat_process(puzzle_spec_path, output_path, new_puzzles_num=100, mode='-t')[source]