関連ワード:  python constraint solver    python constraint solver library    python sat solver    python sat solver library    python sat solver z3    python constraint solving    python constraint programming    python constraint programming library    python geometric constraint solver    python constraint programming solver