def _test_define(name, theory): with serve(theory): pomagma.examples.solve.define(name, address=ADDRESS)
def test_define_a(): with serve(SKJA): pomagma.examples.synthesize.define_a( max_solutions=2, verbose=3, address=ADDRESS)
def test_rs_pairs(): with serve(SKJA): pomagma.examples.solve.rs_pairs(address=ADDRESS)