ALLC

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

必要なライブラリ等

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