問題タブ [cnf]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
python - Python スクリプトは Spyder (Windows) で完全に動作します - Linux では動作しません
.cnf ファイルを読み取り、いくつかのものを分析し、いくつかの結果を出力するスクリプトを作成しました ( 経由print())。.cnf ファイルを読み取るために、次の行を使用します。
これを Spyder-Environment (Python 3.6) で実行すると、すべて正常に動作します。スクリプトは config.cnf を読み取り、操作を実行して結果を出力します。Linux でまったく同じスクリプトを実行すると (同じディレクトリにある config.cnf を使用して)、次のエラー メッセージが表示されます。
次のコマンドを使用します。
私は Python と Linux を初めて使用するので、これが基本的な間違いであるとしても、うんざりしないでください。ありがとうございました。
constraints - pyedaメソッド「構文木を抽象化する」
私が実際にやろうとしているのは、ブール式を整数線形計画法の制約に変換することです。最初に式を CNF に変換し ( を使用)、次に CNF から制約を作成しようとしてpyedaいます (これは非常に簡単なので)。しかし、.to_ast()関数が出力している抽象構文木を理解するのに苦労しています。.to_ast()例として、式を実行すると(~C1 | ~P1 | ~O1) & (~C1 | ~P1 | ~O2)、出力は次のようになります。
-が否定であり、整数が変数の 1 つを表していることは明らかです。整数から変数へのマッピングがあるかどうかは誰にもわかりませんか? 短い質問に対する長い説明...