googleのOR-toolsでそのようなことが可能なのでしょうか。
もし不可能なら、どのライブラリや言語なら可能でしょうか。できればpython3で書きたいですが、それ以外の情報でも嬉しいです。
補足情報
これ( https://github.com/google/or-tools/blob/stable/ortools/sat/doc/reference.md )が英語で書かれていますがリファレンスです。
制約プログラミングに通じられている方は、ここからでも機能を指定できるかもと思いまして補足しました。
ちなみにですが、これまた英語で書かれていますがこれが公式ガイド( https://developers.google.com/optimization/cp/cp_solver )です。
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。