pasp.approx
Approximate inference functions from the C side.
def
aseo(unknown):
Runs approximate inference using answer set enumeration by optimality.