How do i create link between python and mace4 in sudoku game? I want to call prover9 at every step

Question

This is the code in prover9/mace4. It solves the sudoku game in a domain size of 9.

set(arithmetic). 
assign(domain_size, 9).
formulas(numbers).

    n0 = 0.