関連ワード:  sat solver in python    constraint solver in python    sat solver z3 python    smt solver python    sat solver python example    sat solver python code    sat solver example    what is a sat solver