お姫様 プレスバーガー演算のためのフリー定理証明書
今すぐダウンロード

お姫様 ランキングとまとめ

お姫様 タグ

定理 証明 定理証明書 定理を証明する プレスバーガー演算 箴言

お姫様 説明

プレスバーガー演算のためのフリーレオレムプラバー プリンセスは、未解釈の述語を備えたプレスバーガー演算のための無料でオープンソースの定理証明書です。 つまり、プリンセスが乗算なしに整数演算で問題についての推論ができることを意味します（整数リテラルとの乗算のみが許可されています）、任意に公開されている述語を拡張しました。 そのような問題は、いくつかの式がすべての整数またはいくつかの整数に対して保持されることになっていることを表す任意の量子化器を含むことができる。 要件： ・Java 1.5以降 ・Scalaバージョン2.7以降のコンパイラ このリリースの新機能： ・いくつかのバグを修正し、最適化を追加しました

お姫様 関連ソフトウェア