ALLC

論理式を混合整数計画問題に変換するためのプログラム。python3で作られている。 混合整数計画問題を解くためのpythonライブラリであるPuLPを拡張したものになっている。

必要なライブラリ等

• Python3
• PuLP

使用方法

src_and_sampleフォルダにライブラリ本体とサンプルコードをおいている(それ以外のフォルダは以前のものなので削除しても構わない)。 また、how_to_use.pdfファイルにpulpとallcの簡単な使い方を書いてある。