傾斜配分とは、飲み会等の精算にあたって、高位の役職ほど金額を高く、低位の役職ほど金額を低く設定することです。とりわけ、年功序列に立脚したJTBC (Japanese Traditional Big Company) において、傾斜配分は欠かすべからざる要素として知られています。本リポジトリは、この傾斜配分を自動化するためのスクリプトを含んでいます。忘年会にどうぞ。
bash setup.sh
python2 solve_z3.py
pip install -r requirements.txt
python3 solve_pulp.py