コード例 #1
0
ファイル: JPicosat.java プロジェクト: patrick-st/warthog 
 public int picosat_deref(int int_lit) {
   return INSTANCE.picosat_deref(currentPicosatObject, int_lit);
 }