プログラム liblogic.sf.net

libLogicは、人間の援助なしで、あらゆる論理理論において、あらゆる論理理論において正確かつ効率的に証明する、比類のない能力を持つ自動化された定理を証明するソフトウェアライブラリです。