問題タブ [sat]
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.
java - How to read .cnf file in java
I have a .cnf file which contains numbers as Conjunctive Normal Form.
I need to read and store them in a data structure (matrix or list) to be able to work with them as index. (I need this to solve a 3-SAT problem.)
How can I read and store them in Java?
z3 - Z3の実行時間分析
Python で実装された Z3 SMT ソルバーを使用しています。私はソース コードを持っています。プロセスが実行中であることを示す何らかの兆候が欲しいのです。詳細なコマンドなどを使用して、プロセスが現在何をしているかを把握することはできますか? その背後にあるアルゴリズムは知っていますが、printf を使用しても、コードで何が起こっているかを視覚化したいと考えています。
ありがとう！
java - CNF ファイルの解析と単純化にかかった時間
Sat4j ライブラリを使い始めたばかりです。特定の CNF 入力を解析して単純化するのにかかる時間を計算する方法を教えてください。
利用した
リーダーが解析して isSatisfiable にかかる時間を計算したいと思います。可能であれば、 sat4j lib を使用して収集しようとしている詳細のスクリーンショットを処理したすべての cnf ファイルの画像内の情報を見つけるように親切に指示して ください。
c# - 特定の行の特定の単語を編集する
これが数回尋ねられたことは知っていますが、サイズの異なるファイル (小さいファイルと大きいファイル) でこれを行うための迅速な方法が必要です。
sat(txt) ファイルの倍率を編集する必要があります。これは 3 行目の最初の数字です。
700 104 1 0 16 Autodesk AutoCAD 19 ASM 221.0.0.1871 NT 24 火
2016 年 8 月 16 日 09:02:14
1000 9.9999999999999995e-007 1e-010
c++ - System() を使用してランダム化されたパラメータ?
を使用してプログラムを呼び出すときに、minisat のランダム化されたパラメーターをいくつか試してみましたsystem()。私はこれまでにこのようなことをしたことがなく、かなり迷っていることを認めなければなりません.
たとえば、次のようにできます。
-lubyまたはの値を-no-lubyランダム化するにはどうすればよいですか?1.5-rinc