線形計画問題のためのイザベル/HOLにおける解法

線形計画問題を解くためのイザベル/HOLにおける検証済みアルゴリズムを提示する。このアルゴリズムは、双対性の原理に基づいて、制約充足問題を解くことで線形計画問題を解決する。