Solving Open Shop Job Scheduling Problem using Z3

Solving gp03-01 instances using Z3.

SAT Ver.

poetry run python ./src/main.py

SMT Ver.

poetry run python ./src/smt.py

References

• 人工知能 2010年25巻1号
  • SATによるプランニングとスケジューリング
• ショップ・スケジューリング問題の SAT 変換による解法
• Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems - AAAI
• Survey for Open Shop Scheduling