■解生成後に解を整形して出力する場合に記述します。
■例は、post_main.nurse3です。
■Pythonポスト処理をチェックします。(言語制約の使用もチェックします)
■def post_main():をメインとして記述します。

def post_main():
    print("Hello PostMain world!")

    print("\t   ",end=" ")
    for day in 日:#日曜日の日付出力
        print(daydef[day],end=' ')
    print(end="\n")
    for person in 全スタッフ:
        print(staffdef[person], end=' ')#スタッフ名出力
        for day in 日:
            print(shift_solution[person][day],end=' ')#日曜日のシフト解を出力
        print(end="\n")



■解は、shift_solution,task_solutionとして取り出すことが出来ます。
■処理したソース内容は、全体ソース(ポスト)として見ることができます。
■post_mainは、制約処理系とは別のプロセスになります。