関連ワード:  constraint solver in python    constraint programming in python    sat solver in python    constraint solving python    constraint programming solver python    constraint programming python scheduling    constraint programming python example    sat solver python example    sat solver python code    what are constraints in python