Beispiel #1
0
 public void picosat_init() {
   currentPicosatObject = INSTANCE.picosat_init();
 }