フィックスポイントZ3が受け入れるデータログ入力形式の例、仕様、またはドキュメントを探しています。ソースディストリビューションでそれらを探しましたが、見つかりませんでした。それらはオンラインまたはレポート/ペーパーで入手できますか？
1030 次
2 に答える
2
あなたの質問は、「。datalog」という接尾辞が付いたファイルに関するものだと思います。オンラインチュートリアルによると、「接尾辞.datalogのファイルは、BDDBDDB形式を使用して解析されます。この形式は、ベンチマークをBDDBDDBツールと比較するために使用できます。」BDDBDDBツールがそのツールの配布ページから受け入れるファイルの例はかなりの数あるはずです。この言語の仕様を知らないため、パーサーにいくつかの非互換性がある可能性があります。
データログの問題をSMT2形式で入力することもできます。SMT2の拡張機能はほとんどなく、http： //research.microsoft.com/en-us/people/nbjorner/bmr-smt.pdfで説明しています。
于 2012-10-27T00:23:24.520 に答える
1
入力形式については、次のオンラインチュートリアルで説明しています。
于 2012-10-26T21:39:43.407 に答える