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