関連ワード:  python sat solver library    python constraint solver library  
結果 : python sat solver library