Exemplos de serve em Python

Exemplo n.º 1

def _test_define(name, theory):
    with serve(theory):
        pomagma.examples.solve.define(name, address=ADDRESS)

Exemplo n.º 2

def test_define_a():
    with serve(SKJA):
        pomagma.examples.synthesize.define_a(
            max_solutions=2,
            verbose=3,
            address=ADDRESS)

Exemplo n.º 3

def test_rs_pairs():
    with serve(SKJA):
        pomagma.examples.solve.rs_pairs(address=ADDRESS)