(model, converter, result)
return 1
Callback for msat_all_sat.

    This function is called by the MathSAT API everytime a new model
    is found. If the function returns 1, the search continues,
    otherwise it stops.
Callback for msat_all_sat.
Callback for msat_all_sat .
def callback(model, converter, result):
    """Callback for msat_all_sat.

    This function is called by the MathSAT API everytime a new model
    is found. If the function returns 1, the search continues,
    otherwise it stops.
    """
    # Elements in model are msat_term .
    # Converter.back() provides the pySMT representation of a solver term.
    py_model = [converter.back(v) for v in model]
    result.append(And(py_model))
    return 1
def callback ( model , converter , result ) : # Elements in model are msat_term . # Converter.back() provides the pySMT representation of a solver term. py_model = [ converter . back ( v ) for v in model ] result . append ( And ( py_model ) ) return 1