SAT(充足可能問題)を解く必要があったので，高速なSATソルバーのMiniSatをPythonから触るラッパーを書いてみた． ダウンロード githubにあげてあります．shtaxxx:pyminisat 使い方 SatSolver()がソルバーでSatVarが変数． SatSolver.append()で節を追加して…

svn mergeを使う svn merge -r current_rev:past_rev path 参考 こちらを参考にさせて頂きました．ありがとうございました．

コマンドプロンプトで以下のコマンドを実行する． 管理者権限が必要なため，コマンドプロンプトを右クリックして「管理者モードで実行する」を選択する． フォルダのシンボリックリンクを作成する場合は/dオプションをつける． ファイルの場合は/dオプション…

/etc/udev/rules.d/60-udev.rules KERNEL=="ttyUSB*", GROUP="grpname", MODE="0666"

Queue.put()とQueue.getを使う． import threading import thread from Queue import Queue def threaded_func(a, b, q): #return a + b ret = a + b q.put(ret) def main(): q = Queue() th = threading.Thread(target=threaded_func, args=(1, 2, q)) th.s…