Discrete Optimization の課題で使おうかと、cryptominisatで基数制約(cardinality constraint)をエンコードするコードを書いたものを https://gist.github.com/msakai/f4746c57d9a4fc9a15b5 に置いておく。 結局最終的には使わなかったのだけれど。 #optimization #dopt003
Discrete Optimization
https://www.coursera.org/course/optimization