ruby_abc 0.0.3 → 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1732) hide show
  1. checksums.yaml +5 -5
  2. data/.yardopts +7 -0
  3. data/LICENSE +51 -52
  4. data/README.md +96 -37
  5. data/bin/ruby_abc +103 -0
  6. data/ext/ruby_abc/extconf.rb +58 -0
  7. data/ext/{ruby_abc.c → ruby_abc/ruby_abc.c} +45 -72
  8. data/ext/ruby_abc/ruby_abc.map +6 -0
  9. data/ext/{ruby_abc_wrapper.c → ruby_abc/ruby_abc_wrapper.c} +0 -0
  10. data/ext/ruby_abc/ruby_abc_wrapper.h +39 -0
  11. data/lib/ruby_abc/version.rb +4 -0
  12. data/lib/ruby_abc.rb +247 -225
  13. data/share/bash_completion/ruby_abc.bash-completion.sh +24 -0
  14. data/share/osu018.genlib +66 -0
  15. data/share/simple.genlib +25 -0
  16. data/test/test_ruby_abc.rb +1 -1
  17. metadata +19 -1727
  18. data/Rakefile +0 -83
  19. data/bin/rubyabc_synthesis +0 -71
  20. data/ext/abc/CMakeLists.txt +0 -103
  21. data/ext/abc/Makefile +0 -213
  22. data/ext/abc/abc.rc +0 -146
  23. data/ext/abc/abcexe.dsp +0 -103
  24. data/ext/abc/abclib.dsp +0 -5948
  25. data/ext/abc/abcspace.dsw +0 -44
  26. data/ext/abc/arch_flags.c +0 -17
  27. data/ext/abc/copyright.txt +0 -23
  28. data/ext/abc/depends.sh +0 -13
  29. data/ext/abc/i10.aig +0 -752
  30. data/ext/abc/lib/pthread.h +0 -1369
  31. data/ext/abc/lib/sched.h +0 -178
  32. data/ext/abc/lib/semaphore.h +0 -166
  33. data/ext/abc/lib/x64/pthreadVC2.dll +0 -0
  34. data/ext/abc/lib/x64/pthreadVC2.lib +0 -0
  35. data/ext/abc/lib/x86/pthreadVC2.dll +0 -0
  36. data/ext/abc/lib/x86/pthreadVC2.lib +0 -0
  37. data/ext/abc/readme.md +0 -111
  38. data/ext/abc/readmeaig +0 -47
  39. data/ext/abc/src/aig/aig/aig.h +0 -713
  40. data/ext/abc/src/aig/aig/aigCanon.c +0 -701
  41. data/ext/abc/src/aig/aig/aigCheck.c +0 -168
  42. data/ext/abc/src/aig/aig/aigCuts.c +0 -673
  43. data/ext/abc/src/aig/aig/aigDfs.c +0 -1136
  44. data/ext/abc/src/aig/aig/aigDoms.c +0 -1154
  45. data/ext/abc/src/aig/aig/aigDup.c +0 -1335
  46. data/ext/abc/src/aig/aig/aigFact.c +0 -734
  47. data/ext/abc/src/aig/aig/aigFanout.c +0 -194
  48. data/ext/abc/src/aig/aig/aigFrames.c +0 -140
  49. data/ext/abc/src/aig/aig/aigInter.c +0 -301
  50. data/ext/abc/src/aig/aig/aigJust.c +0 -316
  51. data/ext/abc/src/aig/aig/aigMan.c +0 -486
  52. data/ext/abc/src/aig/aig/aigMem.c +0 -610
  53. data/ext/abc/src/aig/aig/aigMffc.c +0 -316
  54. data/ext/abc/src/aig/aig/aigObj.c +0 -536
  55. data/ext/abc/src/aig/aig/aigOper.c +0 -606
  56. data/ext/abc/src/aig/aig/aigOrder.c +0 -176
  57. data/ext/abc/src/aig/aig/aigPack.c +0 -404
  58. data/ext/abc/src/aig/aig/aigPart.c +0 -1613
  59. data/ext/abc/src/aig/aig/aigPartReg.c +0 -629
  60. data/ext/abc/src/aig/aig/aigPartSat.c +0 -618
  61. data/ext/abc/src/aig/aig/aigRepar.c +0 -403
  62. data/ext/abc/src/aig/aig/aigRepr.c +0 -559
  63. data/ext/abc/src/aig/aig/aigRet.c +0 -975
  64. data/ext/abc/src/aig/aig/aigRetF.c +0 -214
  65. data/ext/abc/src/aig/aig/aigScl.c +0 -708
  66. data/ext/abc/src/aig/aig/aigShow.c +0 -368
  67. data/ext/abc/src/aig/aig/aigSplit.c +0 -330
  68. data/ext/abc/src/aig/aig/aigTable.c +0 -277
  69. data/ext/abc/src/aig/aig/aigTest.c +0 -39
  70. data/ext/abc/src/aig/aig/aigTiming.c +0 -356
  71. data/ext/abc/src/aig/aig/aigTruth.c +0 -103
  72. data/ext/abc/src/aig/aig/aigTsim.c +0 -526
  73. data/ext/abc/src/aig/aig/aigUtil.c +0 -1575
  74. data/ext/abc/src/aig/aig/aigWin.c +0 -189
  75. data/ext/abc/src/aig/aig/aig_.c +0 -53
  76. data/ext/abc/src/aig/aig/module.make +0 -31
  77. data/ext/abc/src/aig/gia/gia.c +0 -52
  78. data/ext/abc/src/aig/gia/gia.h +0 -1667
  79. data/ext/abc/src/aig/gia/giaAgi.c +0 -238
  80. data/ext/abc/src/aig/gia/giaAig.c +0 -676
  81. data/ext/abc/src/aig/gia/giaAig.h +0 -78
  82. data/ext/abc/src/aig/gia/giaAiger.c +0 -1479
  83. data/ext/abc/src/aig/gia/giaAigerExt.c +0 -326
  84. data/ext/abc/src/aig/gia/giaBalAig.c +0 -1095
  85. data/ext/abc/src/aig/gia/giaBalLut.c +0 -982
  86. data/ext/abc/src/aig/gia/giaBalMap.c +0 -326
  87. data/ext/abc/src/aig/gia/giaBidec.c +0 -305
  88. data/ext/abc/src/aig/gia/giaCCof.c +0 -349
  89. data/ext/abc/src/aig/gia/giaCSat.c +0 -1105
  90. data/ext/abc/src/aig/gia/giaCSatOld.c +0 -804
  91. data/ext/abc/src/aig/gia/giaCTas.c +0 -1790
  92. data/ext/abc/src/aig/gia/giaCTas2.c +0 -208
  93. data/ext/abc/src/aig/gia/giaCex.c +0 -392
  94. data/ext/abc/src/aig/gia/giaClp.c +0 -422
  95. data/ext/abc/src/aig/gia/giaCof.c +0 -1002
  96. data/ext/abc/src/aig/gia/giaCone.c +0 -590
  97. data/ext/abc/src/aig/gia/giaConstr.c +0 -52
  98. data/ext/abc/src/aig/gia/giaCut.c +0 -646
  99. data/ext/abc/src/aig/gia/giaDfs.c +0 -582
  100. data/ext/abc/src/aig/gia/giaDup.c +0 -4791
  101. data/ext/abc/src/aig/gia/giaEdge.c +0 -1000
  102. data/ext/abc/src/aig/gia/giaEmbed.c +0 -1876
  103. data/ext/abc/src/aig/gia/giaEnable.c +0 -650
  104. data/ext/abc/src/aig/gia/giaEquiv.c +0 -2416
  105. data/ext/abc/src/aig/gia/giaEra.c +0 -602
  106. data/ext/abc/src/aig/gia/giaEra2.c +0 -1963
  107. data/ext/abc/src/aig/gia/giaEsop.c +0 -541
  108. data/ext/abc/src/aig/gia/giaFalse.c +0 -552
  109. data/ext/abc/src/aig/gia/giaFanout.c +0 -338
  110. data/ext/abc/src/aig/gia/giaForce.c +0 -1106
  111. data/ext/abc/src/aig/gia/giaFrames.c +0 -996
  112. data/ext/abc/src/aig/gia/giaFront.c +0 -295
  113. data/ext/abc/src/aig/gia/giaFx.c +0 -487
  114. data/ext/abc/src/aig/gia/giaGiarf.c +0 -1079
  115. data/ext/abc/src/aig/gia/giaGig.c +0 -506
  116. data/ext/abc/src/aig/gia/giaGlitch.c +0 -786
  117. data/ext/abc/src/aig/gia/giaHash.c +0 -816
  118. data/ext/abc/src/aig/gia/giaHcd.c +0 -689
  119. data/ext/abc/src/aig/gia/giaIf.c +0 -2536
  120. data/ext/abc/src/aig/gia/giaIff.c +0 -444
  121. data/ext/abc/src/aig/gia/giaIiff.c +0 -62
  122. data/ext/abc/src/aig/gia/giaIiff.h +0 -54
  123. data/ext/abc/src/aig/gia/giaIso.c +0 -1331
  124. data/ext/abc/src/aig/gia/giaIso2.c +0 -776
  125. data/ext/abc/src/aig/gia/giaIso3.c +0 -167
  126. data/ext/abc/src/aig/gia/giaJf.c +0 -1805
  127. data/ext/abc/src/aig/gia/giaKf.c +0 -1341
  128. data/ext/abc/src/aig/gia/giaLf.c +0 -2301
  129. data/ext/abc/src/aig/gia/giaMan.c +0 -1126
  130. data/ext/abc/src/aig/gia/giaMem.c +0 -598
  131. data/ext/abc/src/aig/gia/giaMf.c +0 -1741
  132. data/ext/abc/src/aig/gia/giaMffc.c +0 -313
  133. data/ext/abc/src/aig/gia/giaMfs.c +0 -477
  134. data/ext/abc/src/aig/gia/giaMini.c +0 -574
  135. data/ext/abc/src/aig/gia/giaMuxes.c +0 -915
  136. data/ext/abc/src/aig/gia/giaNf.c +0 -2420
  137. data/ext/abc/src/aig/gia/giaOf.c +0 -1866
  138. data/ext/abc/src/aig/gia/giaPack.c +0 -207
  139. data/ext/abc/src/aig/gia/giaPat.c +0 -135
  140. data/ext/abc/src/aig/gia/giaPf.c +0 -1354
  141. data/ext/abc/src/aig/gia/giaProp.c +0 -176
  142. data/ext/abc/src/aig/gia/giaQbf.c +0 -701
  143. data/ext/abc/src/aig/gia/giaResub.c +0 -292
  144. data/ext/abc/src/aig/gia/giaRetime.c +0 -304
  145. data/ext/abc/src/aig/gia/giaRex.c +0 -545
  146. data/ext/abc/src/aig/gia/giaSat.c +0 -427
  147. data/ext/abc/src/aig/gia/giaSat3.c +0 -136
  148. data/ext/abc/src/aig/gia/giaSatEdge.c +0 -537
  149. data/ext/abc/src/aig/gia/giaSatLE.c +0 -1083
  150. data/ext/abc/src/aig/gia/giaSatLut.c +0 -1225
  151. data/ext/abc/src/aig/gia/giaSatMap.c +0 -554
  152. data/ext/abc/src/aig/gia/giaSatoko.c +0 -274
  153. data/ext/abc/src/aig/gia/giaScl.c +0 -300
  154. data/ext/abc/src/aig/gia/giaScript.c +0 -783
  155. data/ext/abc/src/aig/gia/giaShow.c +0 -1164
  156. data/ext/abc/src/aig/gia/giaShrink.c +0 -154
  157. data/ext/abc/src/aig/gia/giaShrink6.c +0 -492
  158. data/ext/abc/src/aig/gia/giaShrink7.c +0 -373
  159. data/ext/abc/src/aig/gia/giaSim.c +0 -905
  160. data/ext/abc/src/aig/gia/giaSim2.c +0 -706
  161. data/ext/abc/src/aig/gia/giaSort.c +0 -273
  162. data/ext/abc/src/aig/gia/giaSpeedup.c +0 -805
  163. data/ext/abc/src/aig/gia/giaSplit.c +0 -578
  164. data/ext/abc/src/aig/gia/giaStg.c +0 -528
  165. data/ext/abc/src/aig/gia/giaStr.c +0 -1865
  166. data/ext/abc/src/aig/gia/giaSupMin.c +0 -165
  167. data/ext/abc/src/aig/gia/giaSupp.c +0 -886
  168. data/ext/abc/src/aig/gia/giaSweep.c +0 -777
  169. data/ext/abc/src/aig/gia/giaSweeper.c +0 -1185
  170. data/ext/abc/src/aig/gia/giaSwitch.c +0 -829
  171. data/ext/abc/src/aig/gia/giaTim.c +0 -1017
  172. data/ext/abc/src/aig/gia/giaTis.c +0 -213
  173. data/ext/abc/src/aig/gia/giaTruth.c +0 -639
  174. data/ext/abc/src/aig/gia/giaTsim.c +0 -757
  175. data/ext/abc/src/aig/gia/giaUnate.c +0 -255
  176. data/ext/abc/src/aig/gia/giaUtil.c +0 -2136
  177. data/ext/abc/src/aig/gia/module.make +0 -89
  178. data/ext/abc/src/aig/hop/cudd2.c +0 -360
  179. data/ext/abc/src/aig/hop/cudd2.h +0 -86
  180. data/ext/abc/src/aig/hop/hop.h +0 -356
  181. data/ext/abc/src/aig/hop/hopBalance.c +0 -401
  182. data/ext/abc/src/aig/hop/hopCheck.c +0 -115
  183. data/ext/abc/src/aig/hop/hopDfs.c +0 -591
  184. data/ext/abc/src/aig/hop/hopMan.c +0 -169
  185. data/ext/abc/src/aig/hop/hopMem.c +0 -120
  186. data/ext/abc/src/aig/hop/hopObj.c +0 -277
  187. data/ext/abc/src/aig/hop/hopOper.c +0 -378
  188. data/ext/abc/src/aig/hop/hopTable.c +0 -232
  189. data/ext/abc/src/aig/hop/hopTruth.c +0 -274
  190. data/ext/abc/src/aig/hop/hopUtil.c +0 -578
  191. data/ext/abc/src/aig/hop/hop_.c +0 -53
  192. data/ext/abc/src/aig/hop/module.make +0 -10
  193. data/ext/abc/src/aig/ioa/ioa.h +0 -87
  194. data/ext/abc/src/aig/ioa/ioaReadAig.c +0 -465
  195. data/ext/abc/src/aig/ioa/ioaUtil.c +0 -146
  196. data/ext/abc/src/aig/ioa/ioaWriteAig.c +0 -599
  197. data/ext/abc/src/aig/ioa/module.make +0 -3
  198. data/ext/abc/src/aig/ivy/attr.h +0 -418
  199. data/ext/abc/src/aig/ivy/ivy.h +0 -562
  200. data/ext/abc/src/aig/ivy/ivyBalance.c +0 -414
  201. data/ext/abc/src/aig/ivy/ivyCanon.c +0 -149
  202. data/ext/abc/src/aig/ivy/ivyCheck.c +0 -278
  203. data/ext/abc/src/aig/ivy/ivyCut.c +0 -995
  204. data/ext/abc/src/aig/ivy/ivyCutTrav.c +0 -478
  205. data/ext/abc/src/aig/ivy/ivyDfs.c +0 -498
  206. data/ext/abc/src/aig/ivy/ivyDsd.c +0 -831
  207. data/ext/abc/src/aig/ivy/ivyFanout.c +0 -314
  208. data/ext/abc/src/aig/ivy/ivyFastMap.c +0 -1569
  209. data/ext/abc/src/aig/ivy/ivyFraig.c +0 -2972
  210. data/ext/abc/src/aig/ivy/ivyHaig.c +0 -535
  211. data/ext/abc/src/aig/ivy/ivyMan.c +0 -552
  212. data/ext/abc/src/aig/ivy/ivyMem.c +0 -121
  213. data/ext/abc/src/aig/ivy/ivyMulti.c +0 -312
  214. data/ext/abc/src/aig/ivy/ivyMulti8.c +0 -432
  215. data/ext/abc/src/aig/ivy/ivyObj.c +0 -481
  216. data/ext/abc/src/aig/ivy/ivyOper.c +0 -298
  217. data/ext/abc/src/aig/ivy/ivyResyn.c +0 -201
  218. data/ext/abc/src/aig/ivy/ivyRwr.c +0 -618
  219. data/ext/abc/src/aig/ivy/ivyRwrAlg.c +0 -413
  220. data/ext/abc/src/aig/ivy/ivySeq.c +0 -1142
  221. data/ext/abc/src/aig/ivy/ivyShow.c +0 -343
  222. data/ext/abc/src/aig/ivy/ivyTable.c +0 -272
  223. data/ext/abc/src/aig/ivy/ivyUtil.c +0 -824
  224. data/ext/abc/src/aig/ivy/ivy_.c +0 -53
  225. data/ext/abc/src/aig/ivy/module.make +0 -22
  226. data/ext/abc/src/aig/miniaig/abcOper.h +0 -249
  227. data/ext/abc/src/aig/miniaig/miniaig.h +0 -346
  228. data/ext/abc/src/aig/miniaig/minilut.h +0 -288
  229. data/ext/abc/src/aig/miniaig/module.make +0 -1
  230. data/ext/abc/src/aig/miniaig/ndr.h +0 -521
  231. data/ext/abc/src/aig/saig/module.make +0 -26
  232. data/ext/abc/src/aig/saig/saig.h +0 -200
  233. data/ext/abc/src/aig/saig/saigCone.c +0 -181
  234. data/ext/abc/src/aig/saig/saigConstr.c +0 -484
  235. data/ext/abc/src/aig/saig/saigConstr2.c +0 -1013
  236. data/ext/abc/src/aig/saig/saigDual.c +0 -240
  237. data/ext/abc/src/aig/saig/saigDup.c +0 -600
  238. data/ext/abc/src/aig/saig/saigGlaCba.c +0 -840
  239. data/ext/abc/src/aig/saig/saigGlaPba.c +0 -589
  240. data/ext/abc/src/aig/saig/saigGlaPba2.c +0 -558
  241. data/ext/abc/src/aig/saig/saigInd.c +0 -409
  242. data/ext/abc/src/aig/saig/saigIoa.c +0 -405
  243. data/ext/abc/src/aig/saig/saigIso.c +0 -628
  244. data/ext/abc/src/aig/saig/saigIsoFast.c +0 -353
  245. data/ext/abc/src/aig/saig/saigIsoSlow.c +0 -1224
  246. data/ext/abc/src/aig/saig/saigMiter.c +0 -1317
  247. data/ext/abc/src/aig/saig/saigOutDec.c +0 -205
  248. data/ext/abc/src/aig/saig/saigPhase.c +0 -1081
  249. data/ext/abc/src/aig/saig/saigRefSat.c +0 -986
  250. data/ext/abc/src/aig/saig/saigRetFwd.c +0 -248
  251. data/ext/abc/src/aig/saig/saigRetMin.c +0 -705
  252. data/ext/abc/src/aig/saig/saigRetStep.c +0 -236
  253. data/ext/abc/src/aig/saig/saigScl.c +0 -115
  254. data/ext/abc/src/aig/saig/saigSimFast.c +0 -451
  255. data/ext/abc/src/aig/saig/saigSimMv.c +0 -956
  256. data/ext/abc/src/aig/saig/saigSimSeq.c +0 -518
  257. data/ext/abc/src/aig/saig/saigStrSim.c +0 -976
  258. data/ext/abc/src/aig/saig/saigSwitch.c +0 -573
  259. data/ext/abc/src/aig/saig/saigSynch.c +0 -665
  260. data/ext/abc/src/aig/saig/saigTempor.c +0 -256
  261. data/ext/abc/src/aig/saig/saigTrans.c +0 -428
  262. data/ext/abc/src/aig/saig/saigUnfold2.c +0 -497
  263. data/ext/abc/src/aig/saig/saigWnd.c +0 -816
  264. data/ext/abc/src/aig/saig/saig_.c +0 -52
  265. data/ext/abc/src/base/abc/abc.h +0 -1064
  266. data/ext/abc/src/base/abc/abcAig.c +0 -1505
  267. data/ext/abc/src/base/abc/abcBarBuf.c +0 -513
  268. data/ext/abc/src/base/abc/abcBlifMv.c +0 -1167
  269. data/ext/abc/src/base/abc/abcCheck.c +0 -953
  270. data/ext/abc/src/base/abc/abcDfs.c +0 -1910
  271. data/ext/abc/src/base/abc/abcFanOrder.c +0 -652
  272. data/ext/abc/src/base/abc/abcFanio.c +0 -366
  273. data/ext/abc/src/base/abc/abcFunc.c +0 -1273
  274. data/ext/abc/src/base/abc/abcHie.c +0 -843
  275. data/ext/abc/src/base/abc/abcHieCec.c +0 -764
  276. data/ext/abc/src/base/abc/abcHieGia.c +0 -582
  277. data/ext/abc/src/base/abc/abcHieNew.c +0 -1635
  278. data/ext/abc/src/base/abc/abcInt.h +0 -60
  279. data/ext/abc/src/base/abc/abcLatch.c +0 -778
  280. data/ext/abc/src/base/abc/abcLib.c +0 -400
  281. data/ext/abc/src/base/abc/abcMinBase.c +0 -841
  282. data/ext/abc/src/base/abc/abcNames.c +0 -802
  283. data/ext/abc/src/base/abc/abcNetlist.c +0 -511
  284. data/ext/abc/src/base/abc/abcNtk.c +0 -2298
  285. data/ext/abc/src/base/abc/abcObj.c +0 -1075
  286. data/ext/abc/src/base/abc/abcRefs.c +0 -457
  287. data/ext/abc/src/base/abc/abcShow.c +0 -458
  288. data/ext/abc/src/base/abc/abcSop.c +0 -1356
  289. data/ext/abc/src/base/abc/abcUtil.c +0 -3269
  290. data/ext/abc/src/base/abc/abc_.c +0 -52
  291. data/ext/abc/src/base/abc/module.make +0 -23
  292. data/ext/abc/src/base/abci/abc.c +0 -44490
  293. data/ext/abc/src/base/abci/abcAttach.c +0 -409
  294. data/ext/abc/src/base/abci/abcAuto.c +0 -256
  295. data/ext/abc/src/base/abci/abcBalance.c +0 -629
  296. data/ext/abc/src/base/abci/abcBidec.c +0 -156
  297. data/ext/abc/src/base/abci/abcBm.c +0 -2050
  298. data/ext/abc/src/base/abci/abcBmc.c +0 -122
  299. data/ext/abc/src/base/abci/abcCas.c +0 -128
  300. data/ext/abc/src/base/abci/abcCascade.c +0 -1062
  301. data/ext/abc/src/base/abci/abcCollapse.c +0 -957
  302. data/ext/abc/src/base/abci/abcCut.c +0 -700
  303. data/ext/abc/src/base/abci/abcDar.c +0 -4807
  304. data/ext/abc/src/base/abci/abcDarUnfold2.c +0 -69
  305. data/ext/abc/src/base/abci/abcDebug.c +0 -213
  306. data/ext/abc/src/base/abci/abcDec.c +0 -666
  307. data/ext/abc/src/base/abci/abcDetect.c +0 -1264
  308. data/ext/abc/src/base/abci/abcDress.c +0 -214
  309. data/ext/abc/src/base/abci/abcDress2.c +0 -500
  310. data/ext/abc/src/base/abci/abcDress3.c +0 -320
  311. data/ext/abc/src/base/abci/abcDsd.c +0 -710
  312. data/ext/abc/src/base/abci/abcEco.c +0 -58
  313. data/ext/abc/src/base/abci/abcEspresso.c +0 -255
  314. data/ext/abc/src/base/abci/abcExact.c +0 -3024
  315. data/ext/abc/src/base/abci/abcExtract.c +0 -752
  316. data/ext/abc/src/base/abci/abcFlop.c +0 -40
  317. data/ext/abc/src/base/abci/abcFpga.c +0 -288
  318. data/ext/abc/src/base/abci/abcFpgaFast.c +0 -195
  319. data/ext/abc/src/base/abci/abcFraig.c +0 -816
  320. data/ext/abc/src/base/abci/abcFx.c +0 -1207
  321. data/ext/abc/src/base/abci/abcFxu.c +0 -292
  322. data/ext/abc/src/base/abci/abcGen.c +0 -830
  323. data/ext/abc/src/base/abci/abcHaig.c +0 -557
  324. data/ext/abc/src/base/abci/abcIf.c +0 -830
  325. data/ext/abc/src/base/abci/abcIfMux.c +0 -422
  326. data/ext/abc/src/base/abci/abcIfif.c +0 -349
  327. data/ext/abc/src/base/abci/abcIvy.c +0 -1149
  328. data/ext/abc/src/base/abci/abcLog.c +0 -242
  329. data/ext/abc/src/base/abci/abcLut.c +0 -793
  330. data/ext/abc/src/base/abci/abcLutmin.c +0 -785
  331. data/ext/abc/src/base/abci/abcMap.c +0 -1064
  332. data/ext/abc/src/base/abci/abcMeasure.c +0 -483
  333. data/ext/abc/src/base/abci/abcMerge.c +0 -358
  334. data/ext/abc/src/base/abci/abcMffc.c +0 -1252
  335. data/ext/abc/src/base/abci/abcMfs.c +0 -469
  336. data/ext/abc/src/base/abci/abcMini.c +0 -237
  337. data/ext/abc/src/base/abci/abcMiter.c +0 -1196
  338. data/ext/abc/src/base/abci/abcMulti.c +0 -660
  339. data/ext/abc/src/base/abci/abcMv.c +0 -381
  340. data/ext/abc/src/base/abci/abcNpn.c +0 -392
  341. data/ext/abc/src/base/abci/abcNpnSave.c +0 -740
  342. data/ext/abc/src/base/abci/abcNtbdd.c +0 -619
  343. data/ext/abc/src/base/abci/abcOdc.c +0 -1132
  344. data/ext/abc/src/base/abci/abcOrder.c +0 -136
  345. data/ext/abc/src/base/abci/abcPart.c +0 -1206
  346. data/ext/abc/src/base/abci/abcPlace.c +0 -260
  347. data/ext/abc/src/base/abci/abcPrint.c +0 -2008
  348. data/ext/abc/src/base/abci/abcProve.c +0 -354
  349. data/ext/abc/src/base/abci/abcQbf.c +0 -319
  350. data/ext/abc/src/base/abci/abcQuant.c +0 -436
  351. data/ext/abc/src/base/abci/abcReach.c +0 -327
  352. data/ext/abc/src/base/abci/abcRec3.c +0 -1433
  353. data/ext/abc/src/base/abci/abcReconv.c +0 -776
  354. data/ext/abc/src/base/abci/abcRefactor.c +0 -418
  355. data/ext/abc/src/base/abci/abcRenode.c +0 -326
  356. data/ext/abc/src/base/abci/abcReorder.c +0 -117
  357. data/ext/abc/src/base/abci/abcRestruct.c +0 -1511
  358. data/ext/abc/src/base/abci/abcResub.c +0 -1957
  359. data/ext/abc/src/base/abci/abcRewrite.c +0 -420
  360. data/ext/abc/src/base/abci/abcRpo.c +0 -442
  361. data/ext/abc/src/base/abci/abcRr.c +0 -1005
  362. data/ext/abc/src/base/abci/abcSat.c +0 -1020
  363. data/ext/abc/src/base/abci/abcSaucy.c +0 -3346
  364. data/ext/abc/src/base/abci/abcScorr.c +0 -454
  365. data/ext/abc/src/base/abci/abcSense.c +0 -216
  366. data/ext/abc/src/base/abci/abcSpeedup.c +0 -965
  367. data/ext/abc/src/base/abci/abcStrash.c +0 -848
  368. data/ext/abc/src/base/abci/abcSweep.c +0 -1030
  369. data/ext/abc/src/base/abci/abcSymm.c +0 -246
  370. data/ext/abc/src/base/abci/abcTim.c +0 -637
  371. data/ext/abc/src/base/abci/abcTiming.c +0 -1398
  372. data/ext/abc/src/base/abci/abcUnate.c +0 -178
  373. data/ext/abc/src/base/abci/abcUnreach.c +0 -366
  374. data/ext/abc/src/base/abci/abcVerify.c +0 -1109
  375. data/ext/abc/src/base/abci/abcXsim.c +0 -231
  376. data/ext/abc/src/base/abci/abciUnfold2.c +0 -186
  377. data/ext/abc/src/base/abci/fahout_cut.c +0 -358
  378. data/ext/abc/src/base/abci/module.make +0 -75
  379. data/ext/abc/src/base/acb/acb.c +0 -52
  380. data/ext/abc/src/base/acb/acb.h +0 -1038
  381. data/ext/abc/src/base/acb/acbAbc.c +0 -302
  382. data/ext/abc/src/base/acb/acbAig.c +0 -52
  383. data/ext/abc/src/base/acb/acbCom.c +0 -735
  384. data/ext/abc/src/base/acb/acbFunc.c +0 -56
  385. data/ext/abc/src/base/acb/acbMfs.c +0 -1644
  386. data/ext/abc/src/base/acb/acbPar.h +0 -70
  387. data/ext/abc/src/base/acb/acbPush.c +0 -372
  388. data/ext/abc/src/base/acb/acbSets.c +0 -54
  389. data/ext/abc/src/base/acb/acbSets.h +0 -61
  390. data/ext/abc/src/base/acb/acbUtil.c +0 -479
  391. data/ext/abc/src/base/acb/module.make +0 -8
  392. data/ext/abc/src/base/bac/bac.c +0 -52
  393. data/ext/abc/src/base/bac/bac.h +0 -1017
  394. data/ext/abc/src/base/bac/bacBac.c +0 -298
  395. data/ext/abc/src/base/bac/bacBlast.c +0 -587
  396. data/ext/abc/src/base/bac/bacCom.c +0 -728
  397. data/ext/abc/src/base/bac/bacLib.c +0 -52
  398. data/ext/abc/src/base/bac/bacNtk.c +0 -603
  399. data/ext/abc/src/base/bac/bacOper.c +0 -365
  400. data/ext/abc/src/base/bac/bacPrs.h +0 -363
  401. data/ext/abc/src/base/bac/bacPrsBuild.c +0 -356
  402. data/ext/abc/src/base/bac/bacPrsTrans.c +0 -211
  403. data/ext/abc/src/base/bac/bacPtr.c +0 -470
  404. data/ext/abc/src/base/bac/bacPtrAbc.c +0 -486
  405. data/ext/abc/src/base/bac/bacReadBlif.c +0 -453
  406. data/ext/abc/src/base/bac/bacReadSmt.c +0 -42
  407. data/ext/abc/src/base/bac/bacReadVer.c +0 -875
  408. data/ext/abc/src/base/bac/bacWriteBlif.c +0 -236
  409. data/ext/abc/src/base/bac/bacWriteSmt.c +0 -52
  410. data/ext/abc/src/base/bac/bacWriteVer.c +0 -703
  411. data/ext/abc/src/base/bac/module.make +0 -15
  412. data/ext/abc/src/base/cba/cba.c +0 -52
  413. data/ext/abc/src/base/cba/cba.h +0 -1024
  414. data/ext/abc/src/base/cba/cbaBlast.c +0 -1069
  415. data/ext/abc/src/base/cba/cbaCba.c +0 -58
  416. data/ext/abc/src/base/cba/cbaCom.c +0 -731
  417. data/ext/abc/src/base/cba/cbaNtk.c +0 -1183
  418. data/ext/abc/src/base/cba/cbaPrs.h +0 -520
  419. data/ext/abc/src/base/cba/cbaReadBlif.c +0 -646
  420. data/ext/abc/src/base/cba/cbaReadVer.c +0 -2182
  421. data/ext/abc/src/base/cba/cbaTypes.h +0 -169
  422. data/ext/abc/src/base/cba/cbaWriteBlif.c +0 -218
  423. data/ext/abc/src/base/cba/cbaWriteVer.c +0 -1016
  424. data/ext/abc/src/base/cba/module.make +0 -8
  425. data/ext/abc/src/base/cmd/cmd.c +0 -2611
  426. data/ext/abc/src/base/cmd/cmd.h +0 -81
  427. data/ext/abc/src/base/cmd/cmdAlias.c +0 -126
  428. data/ext/abc/src/base/cmd/cmdApi.c +0 -127
  429. data/ext/abc/src/base/cmd/cmdAuto.c +0 -684
  430. data/ext/abc/src/base/cmd/cmdFlag.c +0 -110
  431. data/ext/abc/src/base/cmd/cmdHist.c +0 -180
  432. data/ext/abc/src/base/cmd/cmdInt.h +0 -92
  433. data/ext/abc/src/base/cmd/cmdLoad.c +0 -209
  434. data/ext/abc/src/base/cmd/cmdPlugin.c +0 -773
  435. data/ext/abc/src/base/cmd/cmdStarter.c +0 -259
  436. data/ext/abc/src/base/cmd/cmdUtils.c +0 -756
  437. data/ext/abc/src/base/cmd/module.make +0 -10
  438. data/ext/abc/src/base/exor/exor.c +0 -958
  439. data/ext/abc/src/base/exor/exor.h +0 -189
  440. data/ext/abc/src/base/exor/exorBits.c +0 -425
  441. data/ext/abc/src/base/exor/exorCubes.c +0 -190
  442. data/ext/abc/src/base/exor/exorLink.c +0 -749
  443. data/ext/abc/src/base/exor/exorList.c +0 -1156
  444. data/ext/abc/src/base/exor/exorUtil.c +0 -228
  445. data/ext/abc/src/base/exor/module.make +0 -6
  446. data/ext/abc/src/base/io/io.c +0 -3157
  447. data/ext/abc/src/base/io/ioAbc.h +0 -172
  448. data/ext/abc/src/base/io/ioInt.h +0 -57
  449. data/ext/abc/src/base/io/ioJson.c +0 -270
  450. data/ext/abc/src/base/io/ioReadAiger.c +0 -599
  451. data/ext/abc/src/base/io/ioReadBaf.c +0 -177
  452. data/ext/abc/src/base/io/ioReadBblif.c +0 -348
  453. data/ext/abc/src/base/io/ioReadBench.c +0 -391
  454. data/ext/abc/src/base/io/ioReadBlif.c +0 -1707
  455. data/ext/abc/src/base/io/ioReadBlifAig.c +0 -1019
  456. data/ext/abc/src/base/io/ioReadBlifMv.c +0 -2363
  457. data/ext/abc/src/base/io/ioReadDsd.c +0 -313
  458. data/ext/abc/src/base/io/ioReadEdif.c +0 -240
  459. data/ext/abc/src/base/io/ioReadEqn.c +0 -244
  460. data/ext/abc/src/base/io/ioReadPla.c +0 -600
  461. data/ext/abc/src/base/io/ioReadPlaMo.c +0 -813
  462. data/ext/abc/src/base/io/ioReadVerilog.c +0 -102
  463. data/ext/abc/src/base/io/ioUtil.c +0 -871
  464. data/ext/abc/src/base/io/ioWriteAiger.c +0 -956
  465. data/ext/abc/src/base/io/ioWriteBaf.c +0 -173
  466. data/ext/abc/src/base/io/ioWriteBblif.c +0 -116
  467. data/ext/abc/src/base/io/ioWriteBench.c +0 -340
  468. data/ext/abc/src/base/io/ioWriteBlif.c +0 -1410
  469. data/ext/abc/src/base/io/ioWriteBlifMv.c +0 -476
  470. data/ext/abc/src/base/io/ioWriteBook.c +0 -998
  471. data/ext/abc/src/base/io/ioWriteCnf.c +0 -120
  472. data/ext/abc/src/base/io/ioWriteDot.c +0 -854
  473. data/ext/abc/src/base/io/ioWriteEqn.c +0 -257
  474. data/ext/abc/src/base/io/ioWriteGml.c +0 -121
  475. data/ext/abc/src/base/io/ioWriteList.c +0 -293
  476. data/ext/abc/src/base/io/ioWritePla.c +0 -460
  477. data/ext/abc/src/base/io/ioWriteSmv.c +0 -265
  478. data/ext/abc/src/base/io/ioWriteVerilog.c +0 -662
  479. data/ext/abc/src/base/io/module.make +0 -31
  480. data/ext/abc/src/base/main/abcapis.h +0 -106
  481. data/ext/abc/src/base/main/abcapis_old.h +0 -84
  482. data/ext/abc/src/base/main/libSupport.c +0 -211
  483. data/ext/abc/src/base/main/main.c +0 -12
  484. data/ext/abc/src/base/main/main.h +0 -171
  485. data/ext/abc/src/base/main/mainFrame.c +0 -742
  486. data/ext/abc/src/base/main/mainInit.c +0 -168
  487. data/ext/abc/src/base/main/mainInt.h +0 -207
  488. data/ext/abc/src/base/main/mainLib.c +0 -93
  489. data/ext/abc/src/base/main/mainMC.c +0 -203
  490. data/ext/abc/src/base/main/mainReal.c +0 -386
  491. data/ext/abc/src/base/main/mainUtils.c +0 -294
  492. data/ext/abc/src/base/main/module.make +0 -7
  493. data/ext/abc/src/base/pla/module.make +0 -7
  494. data/ext/abc/src/base/pla/pla.c +0 -52
  495. data/ext/abc/src/base/pla/pla.h +0 -297
  496. data/ext/abc/src/base/pla/plaCom.c +0 -507
  497. data/ext/abc/src/base/pla/plaFxch.c +0 -854
  498. data/ext/abc/src/base/pla/plaHash.c +0 -347
  499. data/ext/abc/src/base/pla/plaMan.c +0 -300
  500. data/ext/abc/src/base/pla/plaMerge.c +0 -55
  501. data/ext/abc/src/base/pla/plaRead.c +0 -224
  502. data/ext/abc/src/base/pla/plaSimple.c +0 -339
  503. data/ext/abc/src/base/pla/plaWrite.c +0 -112
  504. data/ext/abc/src/base/test/module.make +0 -1
  505. data/ext/abc/src/base/test/test.c +0 -70
  506. data/ext/abc/src/base/ver/module.make +0 -4
  507. data/ext/abc/src/base/ver/ver.h +0 -122
  508. data/ext/abc/src/base/ver/verCore.c +0 -3037
  509. data/ext/abc/src/base/ver/verFormula.c +0 -479
  510. data/ext/abc/src/base/ver/verParse.c +0 -131
  511. data/ext/abc/src/base/ver/verStream.c +0 -450
  512. data/ext/abc/src/base/ver/verWords.c +0 -53
  513. data/ext/abc/src/base/ver/ver_.c +0 -53
  514. data/ext/abc/src/base/wlc/module.make +0 -17
  515. data/ext/abc/src/base/wlc/wlc.c +0 -274
  516. data/ext/abc/src/base/wlc/wlc.h +0 -392
  517. data/ext/abc/src/base/wlc/wlcAbc.c +0 -275
  518. data/ext/abc/src/base/wlc/wlcAbs.c +0 -1912
  519. data/ext/abc/src/base/wlc/wlcAbs2.c +0 -410
  520. data/ext/abc/src/base/wlc/wlcBlast.c +0 -1692
  521. data/ext/abc/src/base/wlc/wlcCom.c +0 -1559
  522. data/ext/abc/src/base/wlc/wlcGraft.c +0 -573
  523. data/ext/abc/src/base/wlc/wlcJson.c +0 -54
  524. data/ext/abc/src/base/wlc/wlcNtk.c +0 -1268
  525. data/ext/abc/src/base/wlc/wlcPth.c +0 -173
  526. data/ext/abc/src/base/wlc/wlcReadSmt.c +0 -1784
  527. data/ext/abc/src/base/wlc/wlcReadVer.c +0 -1308
  528. data/ext/abc/src/base/wlc/wlcShow.c +0 -337
  529. data/ext/abc/src/base/wlc/wlcSim.c +0 -251
  530. data/ext/abc/src/base/wlc/wlcStdin.c +0 -255
  531. data/ext/abc/src/base/wlc/wlcUif.c +0 -290
  532. data/ext/abc/src/base/wlc/wlcWin.c +0 -166
  533. data/ext/abc/src/base/wlc/wlcWriteVer.c +0 -450
  534. data/ext/abc/src/bdd/bbr/bbr.h +0 -93
  535. data/ext/abc/src/bdd/bbr/bbrCex.c +0 -172
  536. data/ext/abc/src/bdd/bbr/bbrImage.c +0 -1327
  537. data/ext/abc/src/bdd/bbr/bbrNtbdd.c +0 -218
  538. data/ext/abc/src/bdd/bbr/bbrReach.c +0 -615
  539. data/ext/abc/src/bdd/bbr/bbr_.c +0 -52
  540. data/ext/abc/src/bdd/bbr/module.make +0 -4
  541. data/ext/abc/src/bdd/cas/cas.h +0 -66
  542. data/ext/abc/src/bdd/cas/casCore.c +0 -1265
  543. data/ext/abc/src/bdd/cas/casDec.c +0 -512
  544. data/ext/abc/src/bdd/cas/module.make +0 -3
  545. data/ext/abc/src/bdd/cudd/Makefile +0 -124
  546. data/ext/abc/src/bdd/cudd/cuBdd.make +0 -41
  547. data/ext/abc/src/bdd/cudd/cudd.h +0 -1054
  548. data/ext/abc/src/bdd/cudd/cudd.make +0 -42
  549. data/ext/abc/src/bdd/cudd/cuddAPI.c +0 -4444
  550. data/ext/abc/src/bdd/cudd/cuddAddAbs.c +0 -588
  551. data/ext/abc/src/bdd/cudd/cuddAddApply.c +0 -949
  552. data/ext/abc/src/bdd/cudd/cuddAddFind.c +0 -316
  553. data/ext/abc/src/bdd/cudd/cuddAddInv.c +0 -209
  554. data/ext/abc/src/bdd/cudd/cuddAddIte.c +0 -647
  555. data/ext/abc/src/bdd/cudd/cuddAddNeg.c +0 -296
  556. data/ext/abc/src/bdd/cudd/cuddAddWalsh.c +0 -399
  557. data/ext/abc/src/bdd/cudd/cuddAndAbs.c +0 -384
  558. data/ext/abc/src/bdd/cudd/cuddAnneal.c +0 -822
  559. data/ext/abc/src/bdd/cudd/cuddApa.c +0 -979
  560. data/ext/abc/src/bdd/cudd/cuddApprox.c +0 -2213
  561. data/ext/abc/src/bdd/cudd/cuddBddAbs.c +0 -725
  562. data/ext/abc/src/bdd/cudd/cuddBddCorr.c +0 -515
  563. data/ext/abc/src/bdd/cudd/cuddBddIte.c +0 -1328
  564. data/ext/abc/src/bdd/cudd/cuddBridge.c +0 -1021
  565. data/ext/abc/src/bdd/cudd/cuddCache.c +0 -1100
  566. data/ext/abc/src/bdd/cudd/cuddCheck.c +0 -887
  567. data/ext/abc/src/bdd/cudd/cuddClip.c +0 -566
  568. data/ext/abc/src/bdd/cudd/cuddCof.c +0 -335
  569. data/ext/abc/src/bdd/cudd/cuddCompose.c +0 -1760
  570. data/ext/abc/src/bdd/cudd/cuddDecomp.c +0 -2185
  571. data/ext/abc/src/bdd/cudd/cuddEssent.c +0 -1475
  572. data/ext/abc/src/bdd/cudd/cuddExact.c +0 -1028
  573. data/ext/abc/src/bdd/cudd/cuddExport.c +0 -1384
  574. data/ext/abc/src/bdd/cudd/cuddGenCof.c +0 -2175
  575. data/ext/abc/src/bdd/cudd/cuddGenetic.c +0 -957
  576. data/ext/abc/src/bdd/cudd/cuddGroup.c +0 -2173
  577. data/ext/abc/src/bdd/cudd/cuddHarwell.c +0 -576
  578. data/ext/abc/src/bdd/cudd/cuddInit.c +0 -319
  579. data/ext/abc/src/bdd/cudd/cuddInt.h +0 -1232
  580. data/ext/abc/src/bdd/cudd/cuddInteract.c +0 -437
  581. data/ext/abc/src/bdd/cudd/cuddLCache.c +0 -1465
  582. data/ext/abc/src/bdd/cudd/cuddLevelQ.c +0 -569
  583. data/ext/abc/src/bdd/cudd/cuddLinear.c +0 -1373
  584. data/ext/abc/src/bdd/cudd/cuddLiteral.c +0 -272
  585. data/ext/abc/src/bdd/cudd/cuddMatMult.c +0 -715
  586. data/ext/abc/src/bdd/cudd/cuddPriority.c +0 -2035
  587. data/ext/abc/src/bdd/cudd/cuddRead.c +0 -525
  588. data/ext/abc/src/bdd/cudd/cuddRef.c +0 -816
  589. data/ext/abc/src/bdd/cudd/cuddReorder.c +0 -2143
  590. data/ext/abc/src/bdd/cudd/cuddSat.c +0 -1338
  591. data/ext/abc/src/bdd/cudd/cuddSign.c +0 -326
  592. data/ext/abc/src/bdd/cudd/cuddSolve.c +0 -374
  593. data/ext/abc/src/bdd/cudd/cuddSplit.c +0 -694
  594. data/ext/abc/src/bdd/cudd/cuddSubsetHB.c +0 -1337
  595. data/ext/abc/src/bdd/cudd/cuddSubsetSP.c +0 -1657
  596. data/ext/abc/src/bdd/cudd/cuddSymmetry.c +0 -1706
  597. data/ext/abc/src/bdd/cudd/cuddTable.c +0 -3179
  598. data/ext/abc/src/bdd/cudd/cuddUtil.c +0 -3929
  599. data/ext/abc/src/bdd/cudd/cuddWindow.c +0 -1031
  600. data/ext/abc/src/bdd/cudd/cuddZddCount.c +0 -357
  601. data/ext/abc/src/bdd/cudd/cuddZddFuncs.c +0 -1638
  602. data/ext/abc/src/bdd/cudd/cuddZddGroup.c +0 -1344
  603. data/ext/abc/src/bdd/cudd/cuddZddIsop.c +0 -919
  604. data/ext/abc/src/bdd/cudd/cuddZddLin.c +0 -975
  605. data/ext/abc/src/bdd/cudd/cuddZddMisc.c +0 -286
  606. data/ext/abc/src/bdd/cudd/cuddZddPort.c +0 -389
  607. data/ext/abc/src/bdd/cudd/cuddZddReord.c +0 -1668
  608. data/ext/abc/src/bdd/cudd/cuddZddSetop.c +0 -1166
  609. data/ext/abc/src/bdd/cudd/cuddZddSymm.c +0 -1707
  610. data/ext/abc/src/bdd/cudd/cuddZddUtil.c +0 -1071
  611. data/ext/abc/src/bdd/cudd/license +0 -32
  612. data/ext/abc/src/bdd/cudd/module.make +0 -61
  613. data/ext/abc/src/bdd/cudd/r7x8.1.mat +0 -53
  614. data/ext/abc/src/bdd/cudd/r7x8.1.out +0 -377
  615. data/ext/abc/src/bdd/cudd/testcudd.c +0 -1073
  616. data/ext/abc/src/bdd/dsd/dsd.h +0 -134
  617. data/ext/abc/src/bdd/dsd/dsdApi.c +0 -102
  618. data/ext/abc/src/bdd/dsd/dsdCheck.c +0 -319
  619. data/ext/abc/src/bdd/dsd/dsdInt.h +0 -99
  620. data/ext/abc/src/bdd/dsd/dsdLocal.c +0 -342
  621. data/ext/abc/src/bdd/dsd/dsdMan.c +0 -119
  622. data/ext/abc/src/bdd/dsd/dsdProc.c +0 -1613
  623. data/ext/abc/src/bdd/dsd/dsdTree.c +0 -1181
  624. data/ext/abc/src/bdd/dsd/module.make +0 -6
  625. data/ext/abc/src/bdd/epd/epd.c +0 -1347
  626. data/ext/abc/src/bdd/epd/epd.h +0 -196
  627. data/ext/abc/src/bdd/epd/module.make +0 -1
  628. data/ext/abc/src/bdd/extrab/extraBdd.h +0 -317
  629. data/ext/abc/src/bdd/extrab/extraBddAuto.c +0 -1563
  630. data/ext/abc/src/bdd/extrab/extraBddCas.c +0 -1235
  631. data/ext/abc/src/bdd/extrab/extraBddImage.c +0 -1162
  632. data/ext/abc/src/bdd/extrab/extraBddKmap.c +0 -876
  633. data/ext/abc/src/bdd/extrab/extraBddMisc.c +0 -2591
  634. data/ext/abc/src/bdd/extrab/extraBddSymm.c +0 -1474
  635. data/ext/abc/src/bdd/extrab/extraBddThresh.c +0 -693
  636. data/ext/abc/src/bdd/extrab/extraBddTime.c +0 -660
  637. data/ext/abc/src/bdd/extrab/extraBddUnate.c +0 -646
  638. data/ext/abc/src/bdd/extrab/module.make +0 -9
  639. data/ext/abc/src/bdd/llb/llb.c +0 -52
  640. data/ext/abc/src/bdd/llb/llb.h +0 -96
  641. data/ext/abc/src/bdd/llb/llb1Cluster.c +0 -356
  642. data/ext/abc/src/bdd/llb/llb1Constr.c +0 -313
  643. data/ext/abc/src/bdd/llb/llb1Core.c +0 -222
  644. data/ext/abc/src/bdd/llb/llb1Group.c +0 -474
  645. data/ext/abc/src/bdd/llb/llb1Hint.c +0 -226
  646. data/ext/abc/src/bdd/llb/llb1Man.c +0 -218
  647. data/ext/abc/src/bdd/llb/llb1Matrix.c +0 -430
  648. data/ext/abc/src/bdd/llb/llb1Pivot.c +0 -254
  649. data/ext/abc/src/bdd/llb/llb1Reach.c +0 -904
  650. data/ext/abc/src/bdd/llb/llb1Sched.c +0 -257
  651. data/ext/abc/src/bdd/llb/llb2Bad.c +0 -138
  652. data/ext/abc/src/bdd/llb/llb2Core.c +0 -777
  653. data/ext/abc/src/bdd/llb/llb2Driver.c +0 -222
  654. data/ext/abc/src/bdd/llb/llb2Dump.c +0 -104
  655. data/ext/abc/src/bdd/llb/llb2Flow.c +0 -1376
  656. data/ext/abc/src/bdd/llb/llb2Image.c +0 -482
  657. data/ext/abc/src/bdd/llb/llb3Image.c +0 -1095
  658. data/ext/abc/src/bdd/llb/llb3Nonlin.c +0 -872
  659. data/ext/abc/src/bdd/llb/llb4Cex.c +0 -320
  660. data/ext/abc/src/bdd/llb/llb4Cluster.c +0 -452
  661. data/ext/abc/src/bdd/llb/llb4Image.c +0 -863
  662. data/ext/abc/src/bdd/llb/llb4Map.c +0 -123
  663. data/ext/abc/src/bdd/llb/llb4Nonlin.c +0 -1185
  664. data/ext/abc/src/bdd/llb/llb4Sweep.c +0 -589
  665. data/ext/abc/src/bdd/llb/llbInt.h +0 -212
  666. data/ext/abc/src/bdd/llb/module.make +0 -22
  667. data/ext/abc/src/bdd/mtr/module.make +0 -2
  668. data/ext/abc/src/bdd/mtr/mtr.h +0 -187
  669. data/ext/abc/src/bdd/mtr/mtrBasic.c +0 -453
  670. data/ext/abc/src/bdd/mtr/mtrGroup.c +0 -734
  671. data/ext/abc/src/bdd/mtr/mtrInt.h +0 -94
  672. data/ext/abc/src/bdd/reo/module.make +0 -8
  673. data/ext/abc/src/bdd/reo/reo.h +0 -234
  674. data/ext/abc/src/bdd/reo/reoApi.c +0 -294
  675. data/ext/abc/src/bdd/reo/reoCore.c +0 -441
  676. data/ext/abc/src/bdd/reo/reoProfile.c +0 -370
  677. data/ext/abc/src/bdd/reo/reoShuffle.c +0 -230
  678. data/ext/abc/src/bdd/reo/reoSift.c +0 -346
  679. data/ext/abc/src/bdd/reo/reoSwap.c +0 -905
  680. data/ext/abc/src/bdd/reo/reoTest.c +0 -256
  681. data/ext/abc/src/bdd/reo/reoTransfer.c +0 -206
  682. data/ext/abc/src/bdd/reo/reoUnits.c +0 -190
  683. data/ext/abc/src/bool/bdc/bdc.h +0 -98
  684. data/ext/abc/src/bool/bdc/bdcCore.c +0 -374
  685. data/ext/abc/src/bool/bdc/bdcDec.c +0 -751
  686. data/ext/abc/src/bool/bdc/bdcInt.h +0 -165
  687. data/ext/abc/src/bool/bdc/bdcSpfd.c +0 -1184
  688. data/ext/abc/src/bool/bdc/bdcTable.c +0 -134
  689. data/ext/abc/src/bool/bdc/bdc_.c +0 -54
  690. data/ext/abc/src/bool/bdc/module.make +0 -5
  691. data/ext/abc/src/bool/dec/dec.h +0 -725
  692. data/ext/abc/src/bool/dec/decAbc.c +0 -358
  693. data/ext/abc/src/bool/dec/decFactor.c +0 -403
  694. data/ext/abc/src/bool/dec/decMan.c +0 -88
  695. data/ext/abc/src/bool/dec/decPrint.c +0 -289
  696. data/ext/abc/src/bool/dec/decUtil.c +0 -148
  697. data/ext/abc/src/bool/dec/module.make +0 -5
  698. data/ext/abc/src/bool/deco/deco.h +0 -714
  699. data/ext/abc/src/bool/deco/module.make +0 -1
  700. data/ext/abc/src/bool/kit/cloud.c +0 -993
  701. data/ext/abc/src/bool/kit/cloud.h +0 -254
  702. data/ext/abc/src/bool/kit/kit.h +0 -655
  703. data/ext/abc/src/bool/kit/kitAig.c +0 -126
  704. data/ext/abc/src/bool/kit/kitBdd.c +0 -243
  705. data/ext/abc/src/bool/kit/kitCloud.c +0 -378
  706. data/ext/abc/src/bool/kit/kitDec.c +0 -343
  707. data/ext/abc/src/bool/kit/kitDsd.c +0 -3285
  708. data/ext/abc/src/bool/kit/kitFactor.c +0 -344
  709. data/ext/abc/src/bool/kit/kitGraph.c +0 -402
  710. data/ext/abc/src/bool/kit/kitHop.c +0 -200
  711. data/ext/abc/src/bool/kit/kitIsop.c +0 -365
  712. data/ext/abc/src/bool/kit/kitPerm.c +0 -357
  713. data/ext/abc/src/bool/kit/kitPla.c +0 -535
  714. data/ext/abc/src/bool/kit/kitSop.c +0 -579
  715. data/ext/abc/src/bool/kit/kitTruth.c +0 -2224
  716. data/ext/abc/src/bool/kit/kit_.c +0 -53
  717. data/ext/abc/src/bool/kit/module.make +0 -11
  718. data/ext/abc/src/bool/lucky/lucky.c +0 -705
  719. data/ext/abc/src/bool/lucky/lucky.h +0 -44
  720. data/ext/abc/src/bool/lucky/luckyFast16.c +0 -872
  721. data/ext/abc/src/bool/lucky/luckyFast6.c +0 -285
  722. data/ext/abc/src/bool/lucky/luckyInt.h +0 -136
  723. data/ext/abc/src/bool/lucky/luckyRead.c +0 -333
  724. data/ext/abc/src/bool/lucky/luckySimple.c +0 -307
  725. data/ext/abc/src/bool/lucky/luckySwap.c +0 -402
  726. data/ext/abc/src/bool/lucky/luckySwapIJ.c +0 -102
  727. data/ext/abc/src/bool/lucky/module.make +0 -7
  728. data/ext/abc/src/bool/rpo/literal.h +0 -297
  729. data/ext/abc/src/bool/rpo/module.make +0 -1
  730. data/ext/abc/src/bool/rpo/rpo.c +0 -383
  731. data/ext/abc/src/bool/rpo/rpo.h +0 -61
  732. data/ext/abc/src/bool/rsb/module.make +0 -2
  733. data/ext/abc/src/bool/rsb/rsb.h +0 -65
  734. data/ext/abc/src/bool/rsb/rsbDec6.c +0 -770
  735. data/ext/abc/src/bool/rsb/rsbInt.h +0 -84
  736. data/ext/abc/src/bool/rsb/rsbMan.c +0 -99
  737. data/ext/abc/src/demo.c +0 -181
  738. data/ext/abc/src/generic.c +0 -52
  739. data/ext/abc/src/generic.h +0 -63
  740. data/ext/abc/src/map/amap/amap.h +0 -97
  741. data/ext/abc/src/map/amap/amapCore.c +0 -110
  742. data/ext/abc/src/map/amap/amapGraph.c +0 -399
  743. data/ext/abc/src/map/amap/amapInt.h +0 -376
  744. data/ext/abc/src/map/amap/amapLib.c +0 -374
  745. data/ext/abc/src/map/amap/amapLiberty.c +0 -1103
  746. data/ext/abc/src/map/amap/amapMan.c +0 -104
  747. data/ext/abc/src/map/amap/amapMatch.c +0 -622
  748. data/ext/abc/src/map/amap/amapMerge.c +0 -541
  749. data/ext/abc/src/map/amap/amapOutput.c +0 -186
  750. data/ext/abc/src/map/amap/amapParse.c +0 -480
  751. data/ext/abc/src/map/amap/amapPerm.c +0 -380
  752. data/ext/abc/src/map/amap/amapRead.c +0 -494
  753. data/ext/abc/src/map/amap/amapRule.c +0 -462
  754. data/ext/abc/src/map/amap/amapUniq.c +0 -317
  755. data/ext/abc/src/map/amap/module.make +0 -13
  756. data/ext/abc/src/map/cov/cov.h +0 -109
  757. data/ext/abc/src/map/cov/covBuild.c +0 -544
  758. data/ext/abc/src/map/cov/covCore.c +0 -1030
  759. data/ext/abc/src/map/cov/covInt.h +0 -654
  760. data/ext/abc/src/map/cov/covMan.c +0 -149
  761. data/ext/abc/src/map/cov/covMinEsop.c +0 -304
  762. data/ext/abc/src/map/cov/covMinMan.c +0 -118
  763. data/ext/abc/src/map/cov/covMinSop.c +0 -620
  764. data/ext/abc/src/map/cov/covMinUtil.c +0 -343
  765. data/ext/abc/src/map/cov/covTest.c +0 -422
  766. data/ext/abc/src/map/cov/module.make +0 -7
  767. data/ext/abc/src/map/fpga/fpga.c +0 -288
  768. data/ext/abc/src/map/fpga/fpga.h +0 -175
  769. data/ext/abc/src/map/fpga/fpgaCore.c +0 -194
  770. data/ext/abc/src/map/fpga/fpgaCreate.c +0 -584
  771. data/ext/abc/src/map/fpga/fpgaCut.c +0 -1186
  772. data/ext/abc/src/map/fpga/fpgaCutUtils.c +0 -476
  773. data/ext/abc/src/map/fpga/fpgaFanout.c +0 -146
  774. data/ext/abc/src/map/fpga/fpgaGENERIC.c +0 -51
  775. data/ext/abc/src/map/fpga/fpgaInt.h +0 -389
  776. data/ext/abc/src/map/fpga/fpgaLib.c +0 -255
  777. data/ext/abc/src/map/fpga/fpgaMatch.c +0 -800
  778. data/ext/abc/src/map/fpga/fpgaSwitch.c +0 -156
  779. data/ext/abc/src/map/fpga/fpgaTime.c +0 -267
  780. data/ext/abc/src/map/fpga/fpgaTruth.c +0 -171
  781. data/ext/abc/src/map/fpga/fpgaUtils.c +0 -990
  782. data/ext/abc/src/map/fpga/fpgaVec.c +0 -413
  783. data/ext/abc/src/map/fpga/module.make +0 -13
  784. data/ext/abc/src/map/if/if.h +0 -689
  785. data/ext/abc/src/map/if/ifCache.c +0 -100
  786. data/ext/abc/src/map/if/ifCheck.c +0 -204
  787. data/ext/abc/src/map/if/ifCom.c +0 -372
  788. data/ext/abc/src/map/if/ifCore.c +0 -200
  789. data/ext/abc/src/map/if/ifCount.h +0 -521
  790. data/ext/abc/src/map/if/ifCut.c +0 -1479
  791. data/ext/abc/src/map/if/ifData2.c +0 -52
  792. data/ext/abc/src/map/if/ifDec07.c +0 -1125
  793. data/ext/abc/src/map/if/ifDec08.c +0 -507
  794. data/ext/abc/src/map/if/ifDec10.c +0 -506
  795. data/ext/abc/src/map/if/ifDec16.c +0 -2374
  796. data/ext/abc/src/map/if/ifDec75.c +0 -341
  797. data/ext/abc/src/map/if/ifDelay.c +0 -447
  798. data/ext/abc/src/map/if/ifDsd.c +0 -2838
  799. data/ext/abc/src/map/if/ifLibBox.c +0 -401
  800. data/ext/abc/src/map/if/ifLibLut.c +0 -505
  801. data/ext/abc/src/map/if/ifMan.c +0 -720
  802. data/ext/abc/src/map/if/ifMap.c +0 -680
  803. data/ext/abc/src/map/if/ifMatch2.c +0 -62
  804. data/ext/abc/src/map/if/ifReduce.c +0 -466
  805. data/ext/abc/src/map/if/ifSat.c +0 -548
  806. data/ext/abc/src/map/if/ifSelect.c +0 -601
  807. data/ext/abc/src/map/if/ifSeq.c +0 -397
  808. data/ext/abc/src/map/if/ifTest.c +0 -352
  809. data/ext/abc/src/map/if/ifTime.c +0 -525
  810. data/ext/abc/src/map/if/ifTruth.c +0 -339
  811. data/ext/abc/src/map/if/ifTune.c +0 -1452
  812. data/ext/abc/src/map/if/ifUtil.c +0 -632
  813. data/ext/abc/src/map/if/if_.c +0 -52
  814. data/ext/abc/src/map/if/module.make +0 -26
  815. data/ext/abc/src/map/mapper/mapper.c +0 -185
  816. data/ext/abc/src/map/mapper/mapper.h +0 -201
  817. data/ext/abc/src/map/mapper/mapperCanon.c +0 -277
  818. data/ext/abc/src/map/mapper/mapperCore.c +0 -231
  819. data/ext/abc/src/map/mapper/mapperCreate.c +0 -587
  820. data/ext/abc/src/map/mapper/mapperCut.c +0 -1178
  821. data/ext/abc/src/map/mapper/mapperCutUtils.c +0 -279
  822. data/ext/abc/src/map/mapper/mapperFanout.c +0 -146
  823. data/ext/abc/src/map/mapper/mapperInt.h +0 -469
  824. data/ext/abc/src/map/mapper/mapperLib.c +0 -258
  825. data/ext/abc/src/map/mapper/mapperMatch.c +0 -664
  826. data/ext/abc/src/map/mapper/mapperRefs.c +0 -540
  827. data/ext/abc/src/map/mapper/mapperSuper.c +0 -456
  828. data/ext/abc/src/map/mapper/mapperSwitch.c +0 -229
  829. data/ext/abc/src/map/mapper/mapperTable.c +0 -407
  830. data/ext/abc/src/map/mapper/mapperTime.c +0 -459
  831. data/ext/abc/src/map/mapper/mapperTree.c +0 -1042
  832. data/ext/abc/src/map/mapper/mapperTruth.c +0 -315
  833. data/ext/abc/src/map/mapper/mapperUtils.c +0 -898
  834. data/ext/abc/src/map/mapper/mapperVec.c +0 -344
  835. data/ext/abc/src/map/mapper/module.make +0 -17
  836. data/ext/abc/src/map/mio/exp.h +0 -343
  837. data/ext/abc/src/map/mio/mio.c +0 -728
  838. data/ext/abc/src/map/mio/mio.h +0 -242
  839. data/ext/abc/src/map/mio/mioApi.c +0 -254
  840. data/ext/abc/src/map/mio/mioForm.c +0 -307
  841. data/ext/abc/src/map/mio/mioFunc.c +0 -327
  842. data/ext/abc/src/map/mio/mioInt.h +0 -160
  843. data/ext/abc/src/map/mio/mioParse.c +0 -504
  844. data/ext/abc/src/map/mio/mioRead.c +0 -780
  845. data/ext/abc/src/map/mio/mioSop.c +0 -333
  846. data/ext/abc/src/map/mio/mioUtils.c +0 -1752
  847. data/ext/abc/src/map/mio/module.make +0 -7
  848. data/ext/abc/src/map/mpm/module.make +0 -11
  849. data/ext/abc/src/map/mpm/mpm.c +0 -55
  850. data/ext/abc/src/map/mpm/mpm.h +0 -98
  851. data/ext/abc/src/map/mpm/mpmAbc.c +0 -350
  852. data/ext/abc/src/map/mpm/mpmCore.c +0 -115
  853. data/ext/abc/src/map/mpm/mpmDsd.c +0 -1055
  854. data/ext/abc/src/map/mpm/mpmGates.c +0 -307
  855. data/ext/abc/src/map/mpm/mpmInt.h +0 -265
  856. data/ext/abc/src/map/mpm/mpmLib.c +0 -74
  857. data/ext/abc/src/map/mpm/mpmMan.c +0 -207
  858. data/ext/abc/src/map/mpm/mpmMap.c +0 -872
  859. data/ext/abc/src/map/mpm/mpmMig.c +0 -204
  860. data/ext/abc/src/map/mpm/mpmMig.h +0 -358
  861. data/ext/abc/src/map/mpm/mpmPre.c +0 -1029
  862. data/ext/abc/src/map/mpm/mpmTruth.c +0 -239
  863. data/ext/abc/src/map/mpm/mpmUtil.c +0 -52
  864. data/ext/abc/src/map/scl/module.make +0 -11
  865. data/ext/abc/src/map/scl/scl.c +0 -2042
  866. data/ext/abc/src/map/scl/scl.h +0 -58
  867. data/ext/abc/src/map/scl/sclBufSize.c +0 -518
  868. data/ext/abc/src/map/scl/sclBuffer.c +0 -1010
  869. data/ext/abc/src/map/scl/sclCon.h +0 -293
  870. data/ext/abc/src/map/scl/sclDnsize.c +0 -378
  871. data/ext/abc/src/map/scl/sclLib.h +0 -770
  872. data/ext/abc/src/map/scl/sclLibScl.c +0 -848
  873. data/ext/abc/src/map/scl/sclLibUtil.c +0 -1078
  874. data/ext/abc/src/map/scl/sclLiberty.c +0 -1697
  875. data/ext/abc/src/map/scl/sclLoad.c +0 -238
  876. data/ext/abc/src/map/scl/sclSize.c +0 -915
  877. data/ext/abc/src/map/scl/sclSize.h +0 -594
  878. data/ext/abc/src/map/scl/sclTime.h +0 -234
  879. data/ext/abc/src/map/scl/sclUpsize.c +0 -1045
  880. data/ext/abc/src/map/scl/sclUtil.c +0 -320
  881. data/ext/abc/src/map/super/module.make +0 -3
  882. data/ext/abc/src/map/super/super.c +0 -333
  883. data/ext/abc/src/map/super/super.h +0 -62
  884. data/ext/abc/src/map/super/superAnd.c +0 -701
  885. data/ext/abc/src/map/super/superGENERIC.c +0 -51
  886. data/ext/abc/src/map/super/superGate.c +0 -1473
  887. data/ext/abc/src/map/super/superInt.h +0 -64
  888. data/ext/abc/src/map/super/superWrite.c +0 -81
  889. data/ext/abc/src/misc/avl/avl.c +0 -621
  890. data/ext/abc/src/misc/avl/avl.doc +0 -166
  891. data/ext/abc/src/misc/avl/avl.h +0 -91
  892. data/ext/abc/src/misc/bar/bar.c +0 -193
  893. data/ext/abc/src/misc/bar/bar.h +0 -78
  894. data/ext/abc/src/misc/bar/module.make +0 -1
  895. data/ext/abc/src/misc/bbl/bblif.c +0 -1518
  896. data/ext/abc/src/misc/bbl/bblif.h +0 -285
  897. data/ext/abc/src/misc/bbl/module.make +0 -1
  898. data/ext/abc/src/misc/bzlib/CHANGES +0 -319
  899. data/ext/abc/src/misc/bzlib/LICENSE +0 -42
  900. data/ext/abc/src/misc/bzlib/blocksort.c +0 -1098
  901. data/ext/abc/src/misc/bzlib/bzip2.txt +0 -391
  902. data/ext/abc/src/misc/bzlib/bzlib.c +0 -1588
  903. data/ext/abc/src/misc/bzlib/bzlib.h +0 -287
  904. data/ext/abc/src/misc/bzlib/bzlib_private.h +0 -513
  905. data/ext/abc/src/misc/bzlib/compress.c +0 -677
  906. data/ext/abc/src/misc/bzlib/crctable.c +0 -109
  907. data/ext/abc/src/misc/bzlib/decompress.c +0 -631
  908. data/ext/abc/src/misc/bzlib/huffman.c +0 -210
  909. data/ext/abc/src/misc/bzlib/link.txt +0 -2
  910. data/ext/abc/src/misc/bzlib/manual.html +0 -2540
  911. data/ext/abc/src/misc/bzlib/module.make +0 -7
  912. data/ext/abc/src/misc/bzlib/randtable.c +0 -89
  913. data/ext/abc/src/misc/espresso/cofactor.c +0 -389
  914. data/ext/abc/src/misc/espresso/cols.c +0 -319
  915. data/ext/abc/src/misc/espresso/compl.c +0 -685
  916. data/ext/abc/src/misc/espresso/contain.c +0 -450
  917. data/ext/abc/src/misc/espresso/cubehack.c +0 -143
  918. data/ext/abc/src/misc/espresso/cubestr.c +0 -157
  919. data/ext/abc/src/misc/espresso/cvrin.c +0 -816
  920. data/ext/abc/src/misc/espresso/cvrm.c +0 -544
  921. data/ext/abc/src/misc/espresso/cvrmisc.c +0 -147
  922. data/ext/abc/src/misc/espresso/cvrout.c +0 -614
  923. data/ext/abc/src/misc/espresso/dominate.c +0 -103
  924. data/ext/abc/src/misc/espresso/equiv.c +0 -99
  925. data/ext/abc/src/misc/espresso/espresso.c +0 -144
  926. data/ext/abc/src/misc/espresso/espresso.h +0 -786
  927. data/ext/abc/src/misc/espresso/essen.c +0 -184
  928. data/ext/abc/src/misc/espresso/exact.c +0 -186
  929. data/ext/abc/src/misc/espresso/expand.c +0 -700
  930. data/ext/abc/src/misc/espresso/gasp.c +0 -233
  931. data/ext/abc/src/misc/espresso/gimpel.c +0 -112
  932. data/ext/abc/src/misc/espresso/globals.c +0 -81
  933. data/ext/abc/src/misc/espresso/hack.c +0 -646
  934. data/ext/abc/src/misc/espresso/indep.c +0 -139
  935. data/ext/abc/src/misc/espresso/irred.c +0 -445
  936. data/ext/abc/src/misc/espresso/main.c +0 -751
  937. data/ext/abc/src/misc/espresso/main.h +0 -122
  938. data/ext/abc/src/misc/espresso/map.c +0 -122
  939. data/ext/abc/src/misc/espresso/matrix.c +0 -579
  940. data/ext/abc/src/misc/espresso/mincov.c +0 -383
  941. data/ext/abc/src/misc/espresso/mincov.h +0 -11
  942. data/ext/abc/src/misc/espresso/mincov_int.h +0 -55
  943. data/ext/abc/src/misc/espresso/module.make +0 -39
  944. data/ext/abc/src/misc/espresso/opo.c +0 -629
  945. data/ext/abc/src/misc/espresso/pair.c +0 -685
  946. data/ext/abc/src/misc/espresso/part.c +0 -127
  947. data/ext/abc/src/misc/espresso/primes.c +0 -175
  948. data/ext/abc/src/misc/espresso/reduce.c +0 -263
  949. data/ext/abc/src/misc/espresso/rows.c +0 -319
  950. data/ext/abc/src/misc/espresso/set.c +0 -825
  951. data/ext/abc/src/misc/espresso/setc.c +0 -488
  952. data/ext/abc/src/misc/espresso/sharp.c +0 -252
  953. data/ext/abc/src/misc/espresso/sminterf.c +0 -49
  954. data/ext/abc/src/misc/espresso/solution.c +0 -119
  955. data/ext/abc/src/misc/espresso/sparse.c +0 -151
  956. data/ext/abc/src/misc/espresso/sparse.h +0 -143
  957. data/ext/abc/src/misc/espresso/sparse_int.h +0 -121
  958. data/ext/abc/src/misc/espresso/unate.c +0 -446
  959. data/ext/abc/src/misc/espresso/util_old.h +0 -309
  960. data/ext/abc/src/misc/espresso/verify.c +0 -198
  961. data/ext/abc/src/misc/extra/extra.h +0 -417
  962. data/ext/abc/src/misc/extra/extraUtilBitMatrix.c +0 -420
  963. data/ext/abc/src/misc/extra/extraUtilCanon.c +0 -691
  964. data/ext/abc/src/misc/extra/extraUtilCube.c +0 -279
  965. data/ext/abc/src/misc/extra/extraUtilDsd.c +0 -1271
  966. data/ext/abc/src/misc/extra/extraUtilEnum.c +0 -680
  967. data/ext/abc/src/misc/extra/extraUtilFile.c +0 -887
  968. data/ext/abc/src/misc/extra/extraUtilMemory.c +0 -628
  969. data/ext/abc/src/misc/extra/extraUtilMisc.c +0 -2580
  970. data/ext/abc/src/misc/extra/extraUtilPerm.c +0 -933
  971. data/ext/abc/src/misc/extra/extraUtilPrime.c +0 -602
  972. data/ext/abc/src/misc/extra/extraUtilProgress.c +0 -185
  973. data/ext/abc/src/misc/extra/extraUtilReader.c +0 -390
  974. data/ext/abc/src/misc/extra/extraUtilSupp.c +0 -532
  975. data/ext/abc/src/misc/extra/extraUtilTruth.c +0 -1153
  976. data/ext/abc/src/misc/extra/extraUtilUtil.c +0 -421
  977. data/ext/abc/src/misc/extra/extraZddTrunc.c +0 -338
  978. data/ext/abc/src/misc/extra/module.make +0 -14
  979. data/ext/abc/src/misc/hash/hash.h +0 -70
  980. data/ext/abc/src/misc/hash/hashFlt.h +0 -339
  981. data/ext/abc/src/misc/hash/hashGen.h +0 -367
  982. data/ext/abc/src/misc/hash/hashInt.h +0 -302
  983. data/ext/abc/src/misc/hash/hashPtr.h +0 -339
  984. data/ext/abc/src/misc/hash/module.make +0 -1
  985. data/ext/abc/src/misc/mem/mem.c +0 -605
  986. data/ext/abc/src/misc/mem/mem.h +0 -75
  987. data/ext/abc/src/misc/mem/mem2.h +0 -271
  988. data/ext/abc/src/misc/mem/module.make +0 -1
  989. data/ext/abc/src/misc/mvc/module.make +0 -15
  990. data/ext/abc/src/misc/mvc/mvc.c +0 -51
  991. data/ext/abc/src/misc/mvc/mvc.h +0 -739
  992. data/ext/abc/src/misc/mvc/mvcApi.c +0 -238
  993. data/ext/abc/src/misc/mvc/mvcCompare.c +0 -374
  994. data/ext/abc/src/misc/mvc/mvcContain.c +0 -178
  995. data/ext/abc/src/misc/mvc/mvcCover.c +0 -256
  996. data/ext/abc/src/misc/mvc/mvcCube.c +0 -180
  997. data/ext/abc/src/misc/mvc/mvcDivide.c +0 -442
  998. data/ext/abc/src/misc/mvc/mvcDivisor.c +0 -95
  999. data/ext/abc/src/misc/mvc/mvcList.c +0 -367
  1000. data/ext/abc/src/misc/mvc/mvcLits.c +0 -350
  1001. data/ext/abc/src/misc/mvc/mvcMan.c +0 -82
  1002. data/ext/abc/src/misc/mvc/mvcOpAlg.c +0 -168
  1003. data/ext/abc/src/misc/mvc/mvcOpBool.c +0 -156
  1004. data/ext/abc/src/misc/mvc/mvcPrint.c +0 -225
  1005. data/ext/abc/src/misc/mvc/mvcSort.c +0 -146
  1006. data/ext/abc/src/misc/mvc/mvcUtils.c +0 -873
  1007. data/ext/abc/src/misc/nm/module.make +0 -2
  1008. data/ext/abc/src/misc/nm/nm.h +0 -96
  1009. data/ext/abc/src/misc/nm/nmApi.c +0 -278
  1010. data/ext/abc/src/misc/nm/nmInt.h +0 -94
  1011. data/ext/abc/src/misc/nm/nmTable.c +0 -310
  1012. data/ext/abc/src/misc/parse/module.make +0 -2
  1013. data/ext/abc/src/misc/parse/parse.h +0 -62
  1014. data/ext/abc/src/misc/parse/parseCore.c +0 -536
  1015. data/ext/abc/src/misc/parse/parseEqn.c +0 -362
  1016. data/ext/abc/src/misc/parse/parseInt.h +0 -77
  1017. data/ext/abc/src/misc/parse/parseStack.c +0 -248
  1018. data/ext/abc/src/misc/st/module.make +0 -2
  1019. data/ext/abc/src/misc/st/st.c +0 -561
  1020. data/ext/abc/src/misc/st/st.h +0 -121
  1021. data/ext/abc/src/misc/st/stmm.c +0 -627
  1022. data/ext/abc/src/misc/st/stmm.h +0 -147
  1023. data/ext/abc/src/misc/tim/module.make +0 -5
  1024. data/ext/abc/src/misc/tim/tim.c +0 -39
  1025. data/ext/abc/src/misc/tim/tim.h +0 -184
  1026. data/ext/abc/src/misc/tim/timBox.c +0 -326
  1027. data/ext/abc/src/misc/tim/timDump.c +0 -201
  1028. data/ext/abc/src/misc/tim/timInt.h +0 -148
  1029. data/ext/abc/src/misc/tim/timMan.c +0 -807
  1030. data/ext/abc/src/misc/tim/timTime.c +0 -267
  1031. data/ext/abc/src/misc/tim/timTrav.c +0 -185
  1032. data/ext/abc/src/misc/util/abc_global.h +0 -416
  1033. data/ext/abc/src/misc/util/abc_namespaces.h +0 -58
  1034. data/ext/abc/src/misc/util/module.make +0 -8
  1035. data/ext/abc/src/misc/util/utilBridge.c +0 -564
  1036. data/ext/abc/src/misc/util/utilCex.c +0 -574
  1037. data/ext/abc/src/misc/util/utilCex.h +0 -84
  1038. data/ext/abc/src/misc/util/utilColor.c +0 -124
  1039. data/ext/abc/src/misc/util/utilDouble.h +0 -222
  1040. data/ext/abc/src/misc/util/utilFile.c +0 -221
  1041. data/ext/abc/src/misc/util/utilFloat.h +0 -226
  1042. data/ext/abc/src/misc/util/utilIsop.c +0 -1139
  1043. data/ext/abc/src/misc/util/utilMem.c +0 -341
  1044. data/ext/abc/src/misc/util/utilMem.h +0 -73
  1045. data/ext/abc/src/misc/util/utilNam.c +0 -622
  1046. data/ext/abc/src/misc/util/utilNam.h +0 -80
  1047. data/ext/abc/src/misc/util/utilSignal.c +0 -68
  1048. data/ext/abc/src/misc/util/utilSignal.h +0 -58
  1049. data/ext/abc/src/misc/util/utilSort.c +0 -789
  1050. data/ext/abc/src/misc/util/utilTruth.h +0 -3076
  1051. data/ext/abc/src/misc/util/util_hack.h +0 -46
  1052. data/ext/abc/src/misc/vec/module.make +0 -1
  1053. data/ext/abc/src/misc/vec/vec.h +0 -74
  1054. data/ext/abc/src/misc/vec/vecAtt.h +0 -298
  1055. data/ext/abc/src/misc/vec/vecBit.h +0 -636
  1056. data/ext/abc/src/misc/vec/vecFlt.h +0 -826
  1057. data/ext/abc/src/misc/vec/vecHash.h +0 -280
  1058. data/ext/abc/src/misc/vec/vecHsh.h +0 -590
  1059. data/ext/abc/src/misc/vec/vecInt.h +0 -2078
  1060. data/ext/abc/src/misc/vec/vecMem.h +0 -431
  1061. data/ext/abc/src/misc/vec/vecPtr.h +0 -1160
  1062. data/ext/abc/src/misc/vec/vecQue.h +0 -374
  1063. data/ext/abc/src/misc/vec/vecSet.h +0 -299
  1064. data/ext/abc/src/misc/vec/vecStr.h +0 -1072
  1065. data/ext/abc/src/misc/vec/vecVec.h +0 -646
  1066. data/ext/abc/src/misc/vec/vecWec.h +0 -738
  1067. data/ext/abc/src/misc/vec/vecWrd.h +0 -1205
  1068. data/ext/abc/src/misc/zlib/README +0 -115
  1069. data/ext/abc/src/misc/zlib/adler32.c +0 -168
  1070. data/ext/abc/src/misc/zlib/algorithm.txt +0 -209
  1071. data/ext/abc/src/misc/zlib/compress_.c +0 -76
  1072. data/ext/abc/src/misc/zlib/crc32.c +0 -433
  1073. data/ext/abc/src/misc/zlib/crc32.h +0 -445
  1074. data/ext/abc/src/misc/zlib/deflate.c +0 -1784
  1075. data/ext/abc/src/misc/zlib/deflate.h +0 -346
  1076. data/ext/abc/src/misc/zlib/gzclose.c +0 -33
  1077. data/ext/abc/src/misc/zlib/gzguts.h +0 -147
  1078. data/ext/abc/src/misc/zlib/gzlib.c +0 -517
  1079. data/ext/abc/src/misc/zlib/gzread.c +0 -641
  1080. data/ext/abc/src/misc/zlib/gzwrite.c +0 -520
  1081. data/ext/abc/src/misc/zlib/infback.c +0 -631
  1082. data/ext/abc/src/misc/zlib/inffast.c +0 -351
  1083. data/ext/abc/src/misc/zlib/inffast.h +0 -15
  1084. data/ext/abc/src/misc/zlib/inffixed.h +0 -98
  1085. data/ext/abc/src/misc/zlib/inflate.c +0 -1457
  1086. data/ext/abc/src/misc/zlib/inflate.h +0 -126
  1087. data/ext/abc/src/misc/zlib/inftrees.c +0 -337
  1088. data/ext/abc/src/misc/zlib/inftrees.h +0 -66
  1089. data/ext/abc/src/misc/zlib/license +0 -31
  1090. data/ext/abc/src/misc/zlib/link.txt +0 -1
  1091. data/ext/abc/src/misc/zlib/module.make +0 -15
  1092. data/ext/abc/src/misc/zlib/trees.c +0 -1216
  1093. data/ext/abc/src/misc/zlib/trees.h +0 -132
  1094. data/ext/abc/src/misc/zlib/uncompr.c +0 -67
  1095. data/ext/abc/src/misc/zlib/zconf.h +0 -432
  1096. data/ext/abc/src/misc/zlib/zlib.h +0 -1619
  1097. data/ext/abc/src/misc/zlib/zutil.c +0 -318
  1098. data/ext/abc/src/misc/zlib/zutil.h +0 -288
  1099. data/ext/abc/src/opt/cgt/cgt.h +0 -87
  1100. data/ext/abc/src/opt/cgt/cgtAig.c +0 -601
  1101. data/ext/abc/src/opt/cgt/cgtCore.c +0 -328
  1102. data/ext/abc/src/opt/cgt/cgtDecide.c +0 -300
  1103. data/ext/abc/src/opt/cgt/cgtInt.h +0 -123
  1104. data/ext/abc/src/opt/cgt/cgtMan.c +0 -179
  1105. data/ext/abc/src/opt/cgt/cgtSat.c +0 -98
  1106. data/ext/abc/src/opt/cgt/module.make +0 -5
  1107. data/ext/abc/src/opt/csw/csw.h +0 -69
  1108. data/ext/abc/src/opt/csw/cswCore.c +0 -100
  1109. data/ext/abc/src/opt/csw/cswCut.c +0 -608
  1110. data/ext/abc/src/opt/csw/cswInt.h +0 -160
  1111. data/ext/abc/src/opt/csw/cswMan.c +0 -130
  1112. data/ext/abc/src/opt/csw/cswTable.c +0 -166
  1113. data/ext/abc/src/opt/csw/csw_.c +0 -53
  1114. data/ext/abc/src/opt/csw/module.make +0 -4
  1115. data/ext/abc/src/opt/cut/abcCut.c +0 -498
  1116. data/ext/abc/src/opt/cut/cut.h +0 -172
  1117. data/ext/abc/src/opt/cut/cutApi.c +0 -202
  1118. data/ext/abc/src/opt/cut/cutCut.c +0 -364
  1119. data/ext/abc/src/opt/cut/cutExpand.c +0 -189
  1120. data/ext/abc/src/opt/cut/cutInt.h +0 -165
  1121. data/ext/abc/src/opt/cut/cutList.h +0 -215
  1122. data/ext/abc/src/opt/cut/cutMan.c +0 -320
  1123. data/ext/abc/src/opt/cut/cutMerge.c +0 -662
  1124. data/ext/abc/src/opt/cut/cutNode.c +0 -1004
  1125. data/ext/abc/src/opt/cut/cutOracle.c +0 -424
  1126. data/ext/abc/src/opt/cut/cutPre22.c +0 -994
  1127. data/ext/abc/src/opt/cut/cutSeq.c +0 -232
  1128. data/ext/abc/src/opt/cut/cutTruth.c +0 -232
  1129. data/ext/abc/src/opt/cut/module.make +0 -9
  1130. data/ext/abc/src/opt/dar/dar.h +0 -116
  1131. data/ext/abc/src/opt/dar/darBalance.c +0 -761
  1132. data/ext/abc/src/opt/dar/darCore.c +0 -348
  1133. data/ext/abc/src/opt/dar/darCut.c +0 -837
  1134. data/ext/abc/src/opt/dar/darData.c +0 -11294
  1135. data/ext/abc/src/opt/dar/darInt.h +0 -169
  1136. data/ext/abc/src/opt/dar/darLib.c +0 -1341
  1137. data/ext/abc/src/opt/dar/darMan.c +0 -174
  1138. data/ext/abc/src/opt/dar/darPrec.c +0 -394
  1139. data/ext/abc/src/opt/dar/darRefact.c +0 -639
  1140. data/ext/abc/src/opt/dar/darResub.c +0 -53
  1141. data/ext/abc/src/opt/dar/darScript.c +0 -911
  1142. data/ext/abc/src/opt/dar/dar_.c +0 -53
  1143. data/ext/abc/src/opt/dar/module.make +0 -9
  1144. data/ext/abc/src/opt/dau/dau.c +0 -53
  1145. data/ext/abc/src/opt/dau/dau.h +0 -125
  1146. data/ext/abc/src/opt/dau/dauArray.c +0 -257
  1147. data/ext/abc/src/opt/dau/dauCanon.c +0 -1202
  1148. data/ext/abc/src/opt/dau/dauCore.c +0 -112
  1149. data/ext/abc/src/opt/dau/dauDivs.c +0 -111
  1150. data/ext/abc/src/opt/dau/dauDsd.c +0 -2098
  1151. data/ext/abc/src/opt/dau/dauDsd2.c +0 -660
  1152. data/ext/abc/src/opt/dau/dauEnum.c +0 -253
  1153. data/ext/abc/src/opt/dau/dauGia.c +0 -573
  1154. data/ext/abc/src/opt/dau/dauInt.h +0 -70
  1155. data/ext/abc/src/opt/dau/dauMerge.c +0 -824
  1156. data/ext/abc/src/opt/dau/dauNonDsd.c +0 -903
  1157. data/ext/abc/src/opt/dau/dauTree.c +0 -2022
  1158. data/ext/abc/src/opt/dau/module.make +0 -9
  1159. data/ext/abc/src/opt/dsc/dsc.c +0 -525
  1160. data/ext/abc/src/opt/dsc/dsc.h +0 -91
  1161. data/ext/abc/src/opt/dsc/module.make +0 -1
  1162. data/ext/abc/src/opt/fret/fretFlow.c +0 -700
  1163. data/ext/abc/src/opt/fret/fretInit.c +0 -1343
  1164. data/ext/abc/src/opt/fret/fretMain.c +0 -1383
  1165. data/ext/abc/src/opt/fret/fretTime.c +0 -766
  1166. data/ext/abc/src/opt/fret/fretime.h +0 -212
  1167. data/ext/abc/src/opt/fret/module.make +0 -5
  1168. data/ext/abc/src/opt/fsim/fsim.h +0 -101
  1169. data/ext/abc/src/opt/fsim/fsimCore.c +0 -88
  1170. data/ext/abc/src/opt/fsim/fsimFront.c +0 -369
  1171. data/ext/abc/src/opt/fsim/fsimInt.h +0 -138
  1172. data/ext/abc/src/opt/fsim/fsimMan.c +0 -212
  1173. data/ext/abc/src/opt/fsim/fsimSim.c +0 -569
  1174. data/ext/abc/src/opt/fsim/fsimSwitch.c +0 -40
  1175. data/ext/abc/src/opt/fsim/fsimTsim.c +0 -416
  1176. data/ext/abc/src/opt/fsim/module.make +0 -6
  1177. data/ext/abc/src/opt/fxch/Fxch.c +0 -266
  1178. data/ext/abc/src/opt/fxch/Fxch.h +0 -229
  1179. data/ext/abc/src/opt/fxch/FxchDiv.c +0 -485
  1180. data/ext/abc/src/opt/fxch/FxchMan.c +0 -785
  1181. data/ext/abc/src/opt/fxch/FxchSCHashTable.c +0 -382
  1182. data/ext/abc/src/opt/fxch/module.make +0 -4
  1183. data/ext/abc/src/opt/fxu/fxu.c +0 -260
  1184. data/ext/abc/src/opt/fxu/fxu.h +0 -97
  1185. data/ext/abc/src/opt/fxu/fxuCreate.c +0 -447
  1186. data/ext/abc/src/opt/fxu/fxuHeapD.c +0 -450
  1187. data/ext/abc/src/opt/fxu/fxuHeapS.c +0 -449
  1188. data/ext/abc/src/opt/fxu/fxuInt.h +0 -545
  1189. data/ext/abc/src/opt/fxu/fxuList.c +0 -527
  1190. data/ext/abc/src/opt/fxu/fxuMatrix.c +0 -377
  1191. data/ext/abc/src/opt/fxu/fxuPair.c +0 -560
  1192. data/ext/abc/src/opt/fxu/fxuPrint.c +0 -202
  1193. data/ext/abc/src/opt/fxu/fxuReduce.c +0 -213
  1194. data/ext/abc/src/opt/fxu/fxuSelect.c +0 -608
  1195. data/ext/abc/src/opt/fxu/fxuSingle.c +0 -289
  1196. data/ext/abc/src/opt/fxu/fxuUpdate.c +0 -811
  1197. data/ext/abc/src/opt/fxu/module.make +0 -12
  1198. data/ext/abc/src/opt/lpk/lpk.h +0 -88
  1199. data/ext/abc/src/opt/lpk/lpkAbcDec.c +0 -294
  1200. data/ext/abc/src/opt/lpk/lpkAbcDsd.c +0 -617
  1201. data/ext/abc/src/opt/lpk/lpkAbcMux.c +0 -240
  1202. data/ext/abc/src/opt/lpk/lpkAbcUtil.c +0 -249
  1203. data/ext/abc/src/opt/lpk/lpkCore.c +0 -694
  1204. data/ext/abc/src/opt/lpk/lpkCut.c +0 -689
  1205. data/ext/abc/src/opt/lpk/lpkInt.h +0 -250
  1206. data/ext/abc/src/opt/lpk/lpkMan.c +0 -127
  1207. data/ext/abc/src/opt/lpk/lpkMap.c +0 -210
  1208. data/ext/abc/src/opt/lpk/lpkMulti.c +0 -513
  1209. data/ext/abc/src/opt/lpk/lpkMux.c +0 -252
  1210. data/ext/abc/src/opt/lpk/lpkSets.c +0 -445
  1211. data/ext/abc/src/opt/lpk/lpk_.c +0 -53
  1212. data/ext/abc/src/opt/lpk/module.make +0 -11
  1213. data/ext/abc/src/opt/mfs/mfs.h +0 -89
  1214. data/ext/abc/src/opt/mfs/mfsCore.c +0 -596
  1215. data/ext/abc/src/opt/mfs/mfsCore_.c +0 -394
  1216. data/ext/abc/src/opt/mfs/mfsDiv.c +0 -309
  1217. data/ext/abc/src/opt/mfs/mfsGia.c +0 -301
  1218. data/ext/abc/src/opt/mfs/mfsInt.h +0 -192
  1219. data/ext/abc/src/opt/mfs/mfsInter.c +0 -398
  1220. data/ext/abc/src/opt/mfs/mfsMan.c +0 -202
  1221. data/ext/abc/src/opt/mfs/mfsResub.c +0 -622
  1222. data/ext/abc/src/opt/mfs/mfsResub_.c +0 -567
  1223. data/ext/abc/src/opt/mfs/mfsSat.c +0 -182
  1224. data/ext/abc/src/opt/mfs/mfsStrash.c +0 -406
  1225. data/ext/abc/src/opt/mfs/mfsWin.c +0 -117
  1226. data/ext/abc/src/opt/mfs/mfs_.c +0 -52
  1227. data/ext/abc/src/opt/mfs/module.make +0 -8
  1228. data/ext/abc/src/opt/nwk/module.make +0 -14
  1229. data/ext/abc/src/opt/nwk/ntlnwk.h +0 -113
  1230. data/ext/abc/src/opt/nwk/nwk.h +0 -307
  1231. data/ext/abc/src/opt/nwk/nwkAig.c +0 -299
  1232. data/ext/abc/src/opt/nwk/nwkBidec.c +0 -177
  1233. data/ext/abc/src/opt/nwk/nwkCheck.c +0 -76
  1234. data/ext/abc/src/opt/nwk/nwkDfs.c +0 -664
  1235. data/ext/abc/src/opt/nwk/nwkFanio.c +0 -320
  1236. data/ext/abc/src/opt/nwk/nwkFlow.c +0 -606
  1237. data/ext/abc/src/opt/nwk/nwkFlow_depth.c +0 -631
  1238. data/ext/abc/src/opt/nwk/nwkMan.c +0 -278
  1239. data/ext/abc/src/opt/nwk/nwkMap.c +0 -396
  1240. data/ext/abc/src/opt/nwk/nwkMerge.c +0 -1046
  1241. data/ext/abc/src/opt/nwk/nwkMerge.h +0 -153
  1242. data/ext/abc/src/opt/nwk/nwkObj.c +0 -204
  1243. data/ext/abc/src/opt/nwk/nwkSpeedup.c +0 -382
  1244. data/ext/abc/src/opt/nwk/nwkStrash.c +0 -149
  1245. data/ext/abc/src/opt/nwk/nwkTiming.c +0 -894
  1246. data/ext/abc/src/opt/nwk/nwkUtil.c +0 -644
  1247. data/ext/abc/src/opt/nwk/nwk_.c +0 -52
  1248. data/ext/abc/src/opt/res/module.make +0 -7
  1249. data/ext/abc/src/opt/res/res.h +0 -79
  1250. data/ext/abc/src/opt/res/resCore.c +0 -427
  1251. data/ext/abc/src/opt/res/resDivs.c +0 -290
  1252. data/ext/abc/src/opt/res/resFilter.c +0 -439
  1253. data/ext/abc/src/opt/res/resInt.h +0 -141
  1254. data/ext/abc/src/opt/res/resSat.c +0 -414
  1255. data/ext/abc/src/opt/res/resSim.c +0 -795
  1256. data/ext/abc/src/opt/res/resSim_old.c +0 -526
  1257. data/ext/abc/src/opt/res/resStrash.c +0 -122
  1258. data/ext/abc/src/opt/res/resWin.c +0 -490
  1259. data/ext/abc/src/opt/res/res_.c +0 -55
  1260. data/ext/abc/src/opt/ret/module.make +0 -8
  1261. data/ext/abc/src/opt/ret/retArea.c +0 -554
  1262. data/ext/abc/src/opt/ret/retCore.c +0 -138
  1263. data/ext/abc/src/opt/ret/retDelay.c +0 -315
  1264. data/ext/abc/src/opt/ret/retFlow.c +0 -789
  1265. data/ext/abc/src/opt/ret/retIncrem.c +0 -480
  1266. data/ext/abc/src/opt/ret/retInit.c +0 -355
  1267. data/ext/abc/src/opt/ret/retInt.h +0 -88
  1268. data/ext/abc/src/opt/ret/retLvalue.c +0 -402
  1269. data/ext/abc/src/opt/ret/ret_.c +0 -53
  1270. data/ext/abc/src/opt/rwr/module.make +0 -7
  1271. data/ext/abc/src/opt/rwr/rwr.h +0 -173
  1272. data/ext/abc/src/opt/rwr/rwrDec.c +0 -155
  1273. data/ext/abc/src/opt/rwr/rwrEva.c +0 -599
  1274. data/ext/abc/src/opt/rwr/rwrExp.c +0 -336
  1275. data/ext/abc/src/opt/rwr/rwrLib.c +0 -367
  1276. data/ext/abc/src/opt/rwr/rwrMan.c +0 -323
  1277. data/ext/abc/src/opt/rwr/rwrPrint.c +0 -271
  1278. data/ext/abc/src/opt/rwr/rwrTemp.c +0 -126
  1279. data/ext/abc/src/opt/rwr/rwrUtil.c +0 -661
  1280. data/ext/abc/src/opt/rwt/module.make +0 -3
  1281. data/ext/abc/src/opt/rwt/rwt.h +0 -165
  1282. data/ext/abc/src/opt/rwt/rwtDec.c +0 -155
  1283. data/ext/abc/src/opt/rwt/rwtMan.c +0 -363
  1284. data/ext/abc/src/opt/rwt/rwtUtil.c +0 -663
  1285. data/ext/abc/src/opt/sbd/module.make +0 -9
  1286. data/ext/abc/src/opt/sbd/sbd.c +0 -122
  1287. data/ext/abc/src/opt/sbd/sbd.h +0 -82
  1288. data/ext/abc/src/opt/sbd/sbdCnf.c +0 -147
  1289. data/ext/abc/src/opt/sbd/sbdCore.c +0 -2229
  1290. data/ext/abc/src/opt/sbd/sbdCut.c +0 -872
  1291. data/ext/abc/src/opt/sbd/sbdCut2.c +0 -431
  1292. data/ext/abc/src/opt/sbd/sbdInt.h +0 -125
  1293. data/ext/abc/src/opt/sbd/sbdLut.c +0 -311
  1294. data/ext/abc/src/opt/sbd/sbdPath.c +0 -197
  1295. data/ext/abc/src/opt/sbd/sbdSat.c +0 -793
  1296. data/ext/abc/src/opt/sbd/sbdSim.c +0 -310
  1297. data/ext/abc/src/opt/sbd/sbdWin.c +0 -464
  1298. data/ext/abc/src/opt/sfm/module.make +0 -10
  1299. data/ext/abc/src/opt/sfm/sfm.h +0 -107
  1300. data/ext/abc/src/opt/sfm/sfmArea.c +0 -380
  1301. data/ext/abc/src/opt/sfm/sfmCnf.c +0 -179
  1302. data/ext/abc/src/opt/sfm/sfmCore.c +0 -306
  1303. data/ext/abc/src/opt/sfm/sfmDec.c +0 -2168
  1304. data/ext/abc/src/opt/sfm/sfmInt.h +0 -254
  1305. data/ext/abc/src/opt/sfm/sfmLib.c +0 -766
  1306. data/ext/abc/src/opt/sfm/sfmMit.c +0 -73
  1307. data/ext/abc/src/opt/sfm/sfmNtk.c +0 -381
  1308. data/ext/abc/src/opt/sfm/sfmSat.c +0 -273
  1309. data/ext/abc/src/opt/sfm/sfmTim.c +0 -458
  1310. data/ext/abc/src/opt/sfm/sfmWin.c +0 -481
  1311. data/ext/abc/src/opt/sim/module.make +0 -9
  1312. data/ext/abc/src/opt/sim/sim.h +0 -237
  1313. data/ext/abc/src/opt/sim/simMan.c +0 -293
  1314. data/ext/abc/src/opt/sim/simSat.c +0 -53
  1315. data/ext/abc/src/opt/sim/simSeq.c +0 -176
  1316. data/ext/abc/src/opt/sim/simSupp.c +0 -603
  1317. data/ext/abc/src/opt/sim/simSwitch.c +0 -112
  1318. data/ext/abc/src/opt/sim/simSym.c +0 -148
  1319. data/ext/abc/src/opt/sim/simSymSat.c +0 -205
  1320. data/ext/abc/src/opt/sim/simSymSim.c +0 -178
  1321. data/ext/abc/src/opt/sim/simSymStr.c +0 -493
  1322. data/ext/abc/src/opt/sim/simUtils.c +0 -718
  1323. data/ext/abc/src/phys/place/Makefile +0 -30
  1324. data/ext/abc/src/phys/place/README +0 -50
  1325. data/ext/abc/src/phys/place/hpwl +0 -57
  1326. data/ext/abc/src/phys/place/libhmetis.h +0 -39
  1327. data/ext/abc/src/phys/place/module.make +0 -10
  1328. data/ext/abc/src/phys/place/place_base.c +0 -350
  1329. data/ext/abc/src/phys/place/place_base.h +0 -145
  1330. data/ext/abc/src/phys/place/place_bin.c +0 -282
  1331. data/ext/abc/src/phys/place/place_genqp.c +0 -314
  1332. data/ext/abc/src/phys/place/place_gordian.c +0 -165
  1333. data/ext/abc/src/phys/place/place_gordian.h +0 -86
  1334. data/ext/abc/src/phys/place/place_inc.c +0 -111
  1335. data/ext/abc/src/phys/place/place_io.c +0 -99
  1336. data/ext/abc/src/phys/place/place_legalize.c +0 -28
  1337. data/ext/abc/src/phys/place/place_pads.c +0 -146
  1338. data/ext/abc/src/phys/place/place_partition.c +0 -1140
  1339. data/ext/abc/src/phys/place/place_qpsolver.c +0 -1275
  1340. data/ext/abc/src/phys/place/place_qpsolver.h +0 -139
  1341. data/ext/abc/src/phys/place/place_test.c +0 -365
  1342. data/ext/abc/src/proof/abs/abs.c +0 -52
  1343. data/ext/abc/src/proof/abs/abs.h +0 -177
  1344. data/ext/abc/src/proof/abs/absDup.c +0 -445
  1345. data/ext/abc/src/proof/abs/absGla.c +0 -1901
  1346. data/ext/abc/src/proof/abs/absGlaOld.c +0 -1956
  1347. data/ext/abc/src/proof/abs/absIter.c +0 -148
  1348. data/ext/abc/src/proof/abs/absOldCex.c +0 -873
  1349. data/ext/abc/src/proof/abs/absOldRef.c +0 -474
  1350. data/ext/abc/src/proof/abs/absOldSat.c +0 -986
  1351. data/ext/abc/src/proof/abs/absOldSim.c +0 -477
  1352. data/ext/abc/src/proof/abs/absOut.c +0 -458
  1353. data/ext/abc/src/proof/abs/absPth.c +0 -205
  1354. data/ext/abc/src/proof/abs/absRef.c +0 -751
  1355. data/ext/abc/src/proof/abs/absRef.h +0 -129
  1356. data/ext/abc/src/proof/abs/absRefJ.c +0 -916
  1357. data/ext/abc/src/proof/abs/absRefJ.h +0 -67
  1358. data/ext/abc/src/proof/abs/absRefSelect.c +0 -309
  1359. data/ext/abc/src/proof/abs/absRpm.c +0 -874
  1360. data/ext/abc/src/proof/abs/absRpmOld.c +0 -201
  1361. data/ext/abc/src/proof/abs/absUtil.c +0 -257
  1362. data/ext/abc/src/proof/abs/absVta.c +0 -1764
  1363. data/ext/abc/src/proof/abs/module.make +0 -16
  1364. data/ext/abc/src/proof/acec/acec.c +0 -52
  1365. data/ext/abc/src/proof/acec/acec.h +0 -98
  1366. data/ext/abc/src/proof/acec/acec2Mult.c +0 -1211
  1367. data/ext/abc/src/proof/acec/acecBo.c +0 -216
  1368. data/ext/abc/src/proof/acec/acecCl.c +0 -445
  1369. data/ext/abc/src/proof/acec/acecCo.c +0 -429
  1370. data/ext/abc/src/proof/acec/acecCore.c +0 -553
  1371. data/ext/abc/src/proof/acec/acecCover.c +0 -263
  1372. data/ext/abc/src/proof/acec/acecFadds.c +0 -1247
  1373. data/ext/abc/src/proof/acec/acecInt.h +0 -105
  1374. data/ext/abc/src/proof/acec/acecMult.c +0 -623
  1375. data/ext/abc/src/proof/acec/acecNorm.c +0 -226
  1376. data/ext/abc/src/proof/acec/acecOrder.c +0 -254
  1377. data/ext/abc/src/proof/acec/acecPa.c +0 -277
  1378. data/ext/abc/src/proof/acec/acecPo.c +0 -655
  1379. data/ext/abc/src/proof/acec/acecPolyn.c +0 -445
  1380. data/ext/abc/src/proof/acec/acecPool.c +0 -428
  1381. data/ext/abc/src/proof/acec/acecRe.c +0 -602
  1382. data/ext/abc/src/proof/acec/acecSt.c +0 -422
  1383. data/ext/abc/src/proof/acec/acecStruct.c +0 -271
  1384. data/ext/abc/src/proof/acec/acecTree.c +0 -783
  1385. data/ext/abc/src/proof/acec/acecUtil.c +0 -122
  1386. data/ext/abc/src/proof/acec/acecXor.c +0 -434
  1387. data/ext/abc/src/proof/acec/module.make +0 -19
  1388. data/ext/abc/src/proof/cec/cec.c +0 -53
  1389. data/ext/abc/src/proof/cec/cec.h +0 -240
  1390. data/ext/abc/src/proof/cec/cecCec.c +0 -580
  1391. data/ext/abc/src/proof/cec/cecChoice.c +0 -410
  1392. data/ext/abc/src/proof/cec/cecClass.c +0 -931
  1393. data/ext/abc/src/proof/cec/cecCore.c +0 -554
  1394. data/ext/abc/src/proof/cec/cecCorr.c +0 -1229
  1395. data/ext/abc/src/proof/cec/cecInt.h +0 -227
  1396. data/ext/abc/src/proof/cec/cecIso.c +0 -375
  1397. data/ext/abc/src/proof/cec/cecMan.c +0 -297
  1398. data/ext/abc/src/proof/cec/cecPat.c +0 -578
  1399. data/ext/abc/src/proof/cec/cecSat.c +0 -1040
  1400. data/ext/abc/src/proof/cec/cecSatG.c +0 -1048
  1401. data/ext/abc/src/proof/cec/cecSeq.c +0 -449
  1402. data/ext/abc/src/proof/cec/cecSim.c +0 -53
  1403. data/ext/abc/src/proof/cec/cecSimBack.c +0 -194
  1404. data/ext/abc/src/proof/cec/cecSolve.c +0 -1107
  1405. data/ext/abc/src/proof/cec/cecSplit.c +0 -849
  1406. data/ext/abc/src/proof/cec/cecSweep.c +0 -301
  1407. data/ext/abc/src/proof/cec/cecSynth.c +0 -433
  1408. data/ext/abc/src/proof/cec/module.make +0 -15
  1409. data/ext/abc/src/proof/dch/dch.h +0 -91
  1410. data/ext/abc/src/proof/dch/dchAig.c +0 -119
  1411. data/ext/abc/src/proof/dch/dchChoice.c +0 -552
  1412. data/ext/abc/src/proof/dch/dchClass.c +0 -611
  1413. data/ext/abc/src/proof/dch/dchCnf.c +0 -334
  1414. data/ext/abc/src/proof/dch/dchCore.c +0 -161
  1415. data/ext/abc/src/proof/dch/dchInt.h +0 -170
  1416. data/ext/abc/src/proof/dch/dchMan.c +0 -191
  1417. data/ext/abc/src/proof/dch/dchSat.c +0 -167
  1418. data/ext/abc/src/proof/dch/dchSim.c +0 -297
  1419. data/ext/abc/src/proof/dch/dchSimSat.c +0 -260
  1420. data/ext/abc/src/proof/dch/dchSweep.c +0 -146
  1421. data/ext/abc/src/proof/dch/module.make +0 -10
  1422. data/ext/abc/src/proof/fra/fra.h +0 -389
  1423. data/ext/abc/src/proof/fra/fraBmc.c +0 -453
  1424. data/ext/abc/src/proof/fra/fraCec.c +0 -574
  1425. data/ext/abc/src/proof/fra/fraClass.c +0 -862
  1426. data/ext/abc/src/proof/fra/fraClau.c +0 -745
  1427. data/ext/abc/src/proof/fra/fraClaus.c +0 -1877
  1428. data/ext/abc/src/proof/fra/fraCnf.c +0 -289
  1429. data/ext/abc/src/proof/fra/fraCore.c +0 -490
  1430. data/ext/abc/src/proof/fra/fraHot.c +0 -476
  1431. data/ext/abc/src/proof/fra/fraImp.c +0 -732
  1432. data/ext/abc/src/proof/fra/fraInd.c +0 -712
  1433. data/ext/abc/src/proof/fra/fraIndVer.c +0 -166
  1434. data/ext/abc/src/proof/fra/fraLcr.c +0 -708
  1435. data/ext/abc/src/proof/fra/fraMan.c +0 -314
  1436. data/ext/abc/src/proof/fra/fraPart.c +0 -269
  1437. data/ext/abc/src/proof/fra/fraSat.c +0 -571
  1438. data/ext/abc/src/proof/fra/fraSec.c +0 -693
  1439. data/ext/abc/src/proof/fra/fraSim.c +0 -1173
  1440. data/ext/abc/src/proof/fra/fra_.c +0 -53
  1441. data/ext/abc/src/proof/fra/module.make +0 -17
  1442. data/ext/abc/src/proof/fraig/fraig.h +0 -257
  1443. data/ext/abc/src/proof/fraig/fraigApi.c +0 -299
  1444. data/ext/abc/src/proof/fraig/fraigCanon.c +0 -223
  1445. data/ext/abc/src/proof/fraig/fraigChoice.c +0 -246
  1446. data/ext/abc/src/proof/fraig/fraigFanout.c +0 -180
  1447. data/ext/abc/src/proof/fraig/fraigFeed.c +0 -914
  1448. data/ext/abc/src/proof/fraig/fraigInt.h +0 -436
  1449. data/ext/abc/src/proof/fraig/fraigMan.c +0 -546
  1450. data/ext/abc/src/proof/fraig/fraigMem.c +0 -251
  1451. data/ext/abc/src/proof/fraig/fraigNode.c +0 -319
  1452. data/ext/abc/src/proof/fraig/fraigPrime.c +0 -113
  1453. data/ext/abc/src/proof/fraig/fraigSat.c +0 -1463
  1454. data/ext/abc/src/proof/fraig/fraigTable.c +0 -664
  1455. data/ext/abc/src/proof/fraig/fraigUtil.c +0 -1039
  1456. data/ext/abc/src/proof/fraig/fraigVec.c +0 -550
  1457. data/ext/abc/src/proof/fraig/module.make +0 -12
  1458. data/ext/abc/src/proof/int/int.h +0 -96
  1459. data/ext/abc/src/proof/int/intCheck.c +0 -305
  1460. data/ext/abc/src/proof/int/intContain.c +0 -341
  1461. data/ext/abc/src/proof/int/intCore.c +0 -412
  1462. data/ext/abc/src/proof/int/intCtrex.c +0 -168
  1463. data/ext/abc/src/proof/int/intDup.c +0 -184
  1464. data/ext/abc/src/proof/int/intFrames.c +0 -124
  1465. data/ext/abc/src/proof/int/intInt.h +0 -143
  1466. data/ext/abc/src/proof/int/intInter.c +0 -145
  1467. data/ext/abc/src/proof/int/intM114.c +0 -323
  1468. data/ext/abc/src/proof/int/intM114p.c +0 -443
  1469. data/ext/abc/src/proof/int/intMan.c +0 -165
  1470. data/ext/abc/src/proof/int/intUtil.c +0 -108
  1471. data/ext/abc/src/proof/int/module.make +0 -10
  1472. data/ext/abc/src/proof/int2/int2.h +0 -90
  1473. data/ext/abc/src/proof/int2/int2Bmc.c +0 -355
  1474. data/ext/abc/src/proof/int2/int2Core.c +0 -335
  1475. data/ext/abc/src/proof/int2/int2Int.h +0 -164
  1476. data/ext/abc/src/proof/int2/int2Refine.c +0 -154
  1477. data/ext/abc/src/proof/int2/int2Util.c +0 -152
  1478. data/ext/abc/src/proof/int2/module.make +0 -4
  1479. data/ext/abc/src/proof/live/arenaViolation.c +0 -549
  1480. data/ext/abc/src/proof/live/combination.c +0 -463
  1481. data/ext/abc/src/proof/live/disjunctiveMonotone.c +0 -757
  1482. data/ext/abc/src/proof/live/kLiveConstraints.c +0 -177
  1483. data/ext/abc/src/proof/live/kliveness.c +0 -816
  1484. data/ext/abc/src/proof/live/liveness.c +0 -2575
  1485. data/ext/abc/src/proof/live/liveness_sim.c +0 -849
  1486. data/ext/abc/src/proof/live/ltl_parser.c +0 -839
  1487. data/ext/abc/src/proof/live/module.make +0 -9
  1488. data/ext/abc/src/proof/live/monotone.c +0 -507
  1489. data/ext/abc/src/proof/pdr/module.make +0 -10
  1490. data/ext/abc/src/proof/pdr/pdr.c +0 -53
  1491. data/ext/abc/src/proof/pdr/pdr.h +0 -109
  1492. data/ext/abc/src/proof/pdr/pdrClass.c +0 -223
  1493. data/ext/abc/src/proof/pdr/pdrCnf.c +0 -455
  1494. data/ext/abc/src/proof/pdr/pdrCore.c +0 -1451
  1495. data/ext/abc/src/proof/pdr/pdrIncr.c +0 -1046
  1496. data/ext/abc/src/proof/pdr/pdrInt.h +0 -275
  1497. data/ext/abc/src/proof/pdr/pdrInv.c +0 -985
  1498. data/ext/abc/src/proof/pdr/pdrMan.c +0 -549
  1499. data/ext/abc/src/proof/pdr/pdrSat.c +0 -395
  1500. data/ext/abc/src/proof/pdr/pdrTsim.c +0 -502
  1501. data/ext/abc/src/proof/pdr/pdrTsim2.c +0 -550
  1502. data/ext/abc/src/proof/pdr/pdrTsim3.c +0 -361
  1503. data/ext/abc/src/proof/pdr/pdrUtil.c +0 -800
  1504. data/ext/abc/src/proof/ssc/module.make +0 -5
  1505. data/ext/abc/src/proof/ssc/ssc.h +0 -78
  1506. data/ext/abc/src/proof/ssc/sscClass.c +0 -326
  1507. data/ext/abc/src/proof/ssc/sscCore.c +0 -469
  1508. data/ext/abc/src/proof/ssc/sscInt.h +0 -135
  1509. data/ext/abc/src/proof/ssc/sscSat.c +0 -430
  1510. data/ext/abc/src/proof/ssc/sscSim.c +0 -364
  1511. data/ext/abc/src/proof/ssc/sscUtil.c +0 -173
  1512. data/ext/abc/src/proof/ssw/module.make +0 -20
  1513. data/ext/abc/src/proof/ssw/ssw.h +0 -170
  1514. data/ext/abc/src/proof/ssw/sswAig.c +0 -258
  1515. data/ext/abc/src/proof/ssw/sswBmc.c +0 -224
  1516. data/ext/abc/src/proof/ssw/sswClass.c +0 -1170
  1517. data/ext/abc/src/proof/ssw/sswCnf.c +0 -427
  1518. data/ext/abc/src/proof/ssw/sswConstr.c +0 -718
  1519. data/ext/abc/src/proof/ssw/sswCore.c +0 -539
  1520. data/ext/abc/src/proof/ssw/sswDyn.c +0 -491
  1521. data/ext/abc/src/proof/ssw/sswFilter.c +0 -493
  1522. data/ext/abc/src/proof/ssw/sswInt.h +0 -302
  1523. data/ext/abc/src/proof/ssw/sswIslands.c +0 -598
  1524. data/ext/abc/src/proof/ssw/sswLcorr.c +0 -337
  1525. data/ext/abc/src/proof/ssw/sswMan.c +0 -217
  1526. data/ext/abc/src/proof/ssw/sswPairs.c +0 -480
  1527. data/ext/abc/src/proof/ssw/sswPart.c +0 -140
  1528. data/ext/abc/src/proof/ssw/sswRarity.c +0 -1385
  1529. data/ext/abc/src/proof/ssw/sswRarity2.c +0 -518
  1530. data/ext/abc/src/proof/ssw/sswSat.c +0 -307
  1531. data/ext/abc/src/proof/ssw/sswSemi.c +0 -323
  1532. data/ext/abc/src/proof/ssw/sswSim.c +0 -1406
  1533. data/ext/abc/src/proof/ssw/sswSimSat.c +0 -124
  1534. data/ext/abc/src/proof/ssw/sswSweep.c +0 -440
  1535. data/ext/abc/src/proof/ssw/sswUnique.c +0 -196
  1536. data/ext/abc/src/sat/bmc/bmc.c +0 -52
  1537. data/ext/abc/src/sat/bmc/bmc.h +0 -205
  1538. data/ext/abc/src/sat/bmc/bmcBCore.c +0 -273
  1539. data/ext/abc/src/sat/bmc/bmcBmc.c +0 -377
  1540. data/ext/abc/src/sat/bmc/bmcBmc2.c +0 -944
  1541. data/ext/abc/src/sat/bmc/bmcBmc3.c +0 -1893
  1542. data/ext/abc/src/sat/bmc/bmcBmcAnd.c +0 -1100
  1543. data/ext/abc/src/sat/bmc/bmcBmcG.c +0 -455
  1544. data/ext/abc/src/sat/bmc/bmcBmcS.c +0 -940
  1545. data/ext/abc/src/sat/bmc/bmcBmci.c +0 -344
  1546. data/ext/abc/src/sat/bmc/bmcCexCare.c +0 -476
  1547. data/ext/abc/src/sat/bmc/bmcCexCut.c +0 -537
  1548. data/ext/abc/src/sat/bmc/bmcCexDepth.c +0 -373
  1549. data/ext/abc/src/sat/bmc/bmcCexMin1.c +0 -578
  1550. data/ext/abc/src/sat/bmc/bmcCexMin2.c +0 -363
  1551. data/ext/abc/src/sat/bmc/bmcCexTools.c +0 -852
  1552. data/ext/abc/src/sat/bmc/bmcChain.c +0 -396
  1553. data/ext/abc/src/sat/bmc/bmcClp.c +0 -1548
  1554. data/ext/abc/src/sat/bmc/bmcEco.c +0 -312
  1555. data/ext/abc/src/sat/bmc/bmcEnum.c +0 -223
  1556. data/ext/abc/src/sat/bmc/bmcExpand.c +0 -172
  1557. data/ext/abc/src/sat/bmc/bmcFault.c +0 -1710
  1558. data/ext/abc/src/sat/bmc/bmcFx.c +0 -725
  1559. data/ext/abc/src/sat/bmc/bmcGen.c +0 -193
  1560. data/ext/abc/src/sat/bmc/bmcICheck.c +0 -540
  1561. data/ext/abc/src/sat/bmc/bmcInse.c +0 -345
  1562. data/ext/abc/src/sat/bmc/bmcLoad.c +0 -212
  1563. data/ext/abc/src/sat/bmc/bmcMaj.c +0 -745
  1564. data/ext/abc/src/sat/bmc/bmcMaj2.c +0 -852
  1565. data/ext/abc/src/sat/bmc/bmcMaxi.c +0 -282
  1566. data/ext/abc/src/sat/bmc/bmcMesh.c +0 -433
  1567. data/ext/abc/src/sat/bmc/bmcMesh2.c +0 -449
  1568. data/ext/abc/src/sat/bmc/bmcMulti.c +0 -296
  1569. data/ext/abc/src/sat/bmc/bmcUnroll.c +0 -505
  1570. data/ext/abc/src/sat/bmc/module.make +0 -31
  1571. data/ext/abc/src/sat/bsat/license +0 -21
  1572. data/ext/abc/src/sat/bsat/module.make +0 -14
  1573. data/ext/abc/src/sat/bsat/satChecker.c +0 -193
  1574. data/ext/abc/src/sat/bsat/satClause.h +0 -476
  1575. data/ext/abc/src/sat/bsat/satInter.c +0 -1077
  1576. data/ext/abc/src/sat/bsat/satInterA.c +0 -1090
  1577. data/ext/abc/src/sat/bsat/satInterB.c +0 -1115
  1578. data/ext/abc/src/sat/bsat/satInterP.c +0 -1096
  1579. data/ext/abc/src/sat/bsat/satMem.c +0 -583
  1580. data/ext/abc/src/sat/bsat/satMem.h +0 -85
  1581. data/ext/abc/src/sat/bsat/satProof.c +0 -934
  1582. data/ext/abc/src/sat/bsat/satProof2.h +0 -327
  1583. data/ext/abc/src/sat/bsat/satSolver.c +0 -2417
  1584. data/ext/abc/src/sat/bsat/satSolver.h +0 -639
  1585. data/ext/abc/src/sat/bsat/satSolver2.c +0 -1998
  1586. data/ext/abc/src/sat/bsat/satSolver2.h +0 -377
  1587. data/ext/abc/src/sat/bsat/satSolver2i.c +0 -242
  1588. data/ext/abc/src/sat/bsat/satSolver3.c +0 -2299
  1589. data/ext/abc/src/sat/bsat/satSolver3.h +0 -622
  1590. data/ext/abc/src/sat/bsat/satStore.c +0 -469
  1591. data/ext/abc/src/sat/bsat/satStore.h +0 -158
  1592. data/ext/abc/src/sat/bsat/satTrace.c +0 -112
  1593. data/ext/abc/src/sat/bsat/satTruth.c +0 -299
  1594. data/ext/abc/src/sat/bsat/satTruth.h +0 -89
  1595. data/ext/abc/src/sat/bsat/satUtil.c +0 -358
  1596. data/ext/abc/src/sat/bsat/satVec.h +0 -161
  1597. data/ext/abc/src/sat/bsat2/AbcApi.cpp +0 -59
  1598. data/ext/abc/src/sat/bsat2/Alg.h +0 -84
  1599. data/ext/abc/src/sat/bsat2/Alloc.h +0 -131
  1600. data/ext/abc/src/sat/bsat2/Dimacs.h +0 -89
  1601. data/ext/abc/src/sat/bsat2/Heap.h +0 -149
  1602. data/ext/abc/src/sat/bsat2/IntTypes.h +0 -47
  1603. data/ext/abc/src/sat/bsat2/LICENSE +0 -21
  1604. data/ext/abc/src/sat/bsat2/MainSat.cpp +0 -197
  1605. data/ext/abc/src/sat/bsat2/MainSimp.cpp +0 -206
  1606. data/ext/abc/src/sat/bsat2/Map.h +0 -193
  1607. data/ext/abc/src/sat/bsat2/Options.cpp +0 -93
  1608. data/ext/abc/src/sat/bsat2/Options.h +0 -387
  1609. data/ext/abc/src/sat/bsat2/ParseUtils.h +0 -122
  1610. data/ext/abc/src/sat/bsat2/Queue.h +0 -69
  1611. data/ext/abc/src/sat/bsat2/README +0 -24
  1612. data/ext/abc/src/sat/bsat2/ReleaseNotes-2.2.0.txt +0 -79
  1613. data/ext/abc/src/sat/bsat2/SimpSolver.cpp +0 -720
  1614. data/ext/abc/src/sat/bsat2/SimpSolver.h +0 -197
  1615. data/ext/abc/src/sat/bsat2/Solver.cpp +0 -924
  1616. data/ext/abc/src/sat/bsat2/Solver.h +0 -373
  1617. data/ext/abc/src/sat/bsat2/SolverTypes.h +0 -407
  1618. data/ext/abc/src/sat/bsat2/Sort.h +0 -98
  1619. data/ext/abc/src/sat/bsat2/System.cpp +0 -95
  1620. data/ext/abc/src/sat/bsat2/System.h +0 -60
  1621. data/ext/abc/src/sat/bsat2/Vec.h +0 -130
  1622. data/ext/abc/src/sat/bsat2/XAlloc.h +0 -45
  1623. data/ext/abc/src/sat/bsat2/module.make +0 -7
  1624. data/ext/abc/src/sat/bsat2/pstdint.h +0 -813
  1625. data/ext/abc/src/sat/cnf/cnf.h +0 -202
  1626. data/ext/abc/src/sat/cnf/cnfCore.c +0 -290
  1627. data/ext/abc/src/sat/cnf/cnfCut.c +0 -376
  1628. data/ext/abc/src/sat/cnf/cnfData.c +0 -4789
  1629. data/ext/abc/src/sat/cnf/cnfFast.c +0 -697
  1630. data/ext/abc/src/sat/cnf/cnfMan.c +0 -726
  1631. data/ext/abc/src/sat/cnf/cnfMap.c +0 -362
  1632. data/ext/abc/src/sat/cnf/cnfPost.c +0 -238
  1633. data/ext/abc/src/sat/cnf/cnfUtil.c +0 -479
  1634. data/ext/abc/src/sat/cnf/cnfWrite.c +0 -806
  1635. data/ext/abc/src/sat/cnf/cnf_.c +0 -53
  1636. data/ext/abc/src/sat/cnf/module.make +0 -9
  1637. data/ext/abc/src/sat/csat/csat_apis.c +0 -778
  1638. data/ext/abc/src/sat/csat/csat_apis.h +0 -226
  1639. data/ext/abc/src/sat/csat/module.make +0 -1
  1640. data/ext/abc/src/sat/glucose/AbcGlucose.cpp +0 -1372
  1641. data/ext/abc/src/sat/glucose/AbcGlucose.h +0 -110
  1642. data/ext/abc/src/sat/glucose/AbcGlucoseCmd.cpp +0 -144
  1643. data/ext/abc/src/sat/glucose/Alg.h +0 -84
  1644. data/ext/abc/src/sat/glucose/Alloc.h +0 -132
  1645. data/ext/abc/src/sat/glucose/BoundedQueue.h +0 -110
  1646. data/ext/abc/src/sat/glucose/Constants.h +0 -33
  1647. data/ext/abc/src/sat/glucose/Dimacs.h +0 -89
  1648. data/ext/abc/src/sat/glucose/Glucose.cpp +0 -1493
  1649. data/ext/abc/src/sat/glucose/Heap.h +0 -150
  1650. data/ext/abc/src/sat/glucose/IntTypes.h +0 -47
  1651. data/ext/abc/src/sat/glucose/Map.h +0 -193
  1652. data/ext/abc/src/sat/glucose/Options.cpp +0 -92
  1653. data/ext/abc/src/sat/glucose/Options.h +0 -388
  1654. data/ext/abc/src/sat/glucose/ParseUtils.h +0 -151
  1655. data/ext/abc/src/sat/glucose/Queue.h +0 -69
  1656. data/ext/abc/src/sat/glucose/SimpSolver.cpp +0 -774
  1657. data/ext/abc/src/sat/glucose/SimpSolver.h +0 -204
  1658. data/ext/abc/src/sat/glucose/Solver.h +0 -491
  1659. data/ext/abc/src/sat/glucose/SolverTypes.h +0 -434
  1660. data/ext/abc/src/sat/glucose/Sort.h +0 -98
  1661. data/ext/abc/src/sat/glucose/System.cpp +0 -95
  1662. data/ext/abc/src/sat/glucose/System.h +0 -60
  1663. data/ext/abc/src/sat/glucose/Vec.h +0 -130
  1664. data/ext/abc/src/sat/glucose/XAlloc.h +0 -47
  1665. data/ext/abc/src/sat/glucose/module.make +0 -6
  1666. data/ext/abc/src/sat/glucose/pstdint.h +0 -919
  1667. data/ext/abc/src/sat/glucose/stdint.h +0 -1628
  1668. data/ext/abc/src/sat/lsat/solver.h +0 -132
  1669. data/ext/abc/src/sat/msat/module.make +0 -13
  1670. data/ext/abc/src/sat/msat/msat.h +0 -168
  1671. data/ext/abc/src/sat/msat/msatActivity.c +0 -165
  1672. data/ext/abc/src/sat/msat/msatClause.c +0 -537
  1673. data/ext/abc/src/sat/msat/msatClauseVec.c +0 -237
  1674. data/ext/abc/src/sat/msat/msatInt.h +0 -295
  1675. data/ext/abc/src/sat/msat/msatMem.c +0 -534
  1676. data/ext/abc/src/sat/msat/msatOrderH.c +0 -415
  1677. data/ext/abc/src/sat/msat/msatOrderJ.c +0 -477
  1678. data/ext/abc/src/sat/msat/msatQueue.c +0 -162
  1679. data/ext/abc/src/sat/msat/msatRead.c +0 -274
  1680. data/ext/abc/src/sat/msat/msatSolverApi.c +0 -505
  1681. data/ext/abc/src/sat/msat/msatSolverCore.c +0 -215
  1682. data/ext/abc/src/sat/msat/msatSolverIo.c +0 -182
  1683. data/ext/abc/src/sat/msat/msatSolverSearch.c +0 -634
  1684. data/ext/abc/src/sat/msat/msatSort.c +0 -178
  1685. data/ext/abc/src/sat/msat/msatVec.c +0 -500
  1686. data/ext/abc/src/sat/proof/pr.c +0 -1264
  1687. data/ext/abc/src/sat/proof/pr.h +0 -69
  1688. data/ext/abc/src/sat/proof/stats.txt +0 -66
  1689. data/ext/abc/src/sat/psat/m114p.h +0 -47
  1690. data/ext/abc/src/sat/psat/m114p_types.h +0 -13
  1691. data/ext/abc/src/sat/psat/module.make +0 -1
  1692. data/ext/abc/src/sat/satoko/LICENSE +0 -22
  1693. data/ext/abc/src/sat/satoko/act_clause.h +0 -43
  1694. data/ext/abc/src/sat/satoko/act_var.h +0 -53
  1695. data/ext/abc/src/sat/satoko/cdb.h +0 -106
  1696. data/ext/abc/src/sat/satoko/clause.h +0 -77
  1697. data/ext/abc/src/sat/satoko/cnf_reader.c +0 -157
  1698. data/ext/abc/src/sat/satoko/module.make +0 -3
  1699. data/ext/abc/src/sat/satoko/satoko.h +0 -147
  1700. data/ext/abc/src/sat/satoko/solver.c +0 -771
  1701. data/ext/abc/src/sat/satoko/solver.h +0 -260
  1702. data/ext/abc/src/sat/satoko/solver_api.c +0 -669
  1703. data/ext/abc/src/sat/satoko/types.h +0 -39
  1704. data/ext/abc/src/sat/satoko/utils/b_queue.h +0 -81
  1705. data/ext/abc/src/sat/satoko/utils/heap.h +0 -178
  1706. data/ext/abc/src/sat/satoko/utils/mem.h +0 -23
  1707. data/ext/abc/src/sat/satoko/utils/misc.h +0 -35
  1708. data/ext/abc/src/sat/satoko/utils/sdbl.h +0 -133
  1709. data/ext/abc/src/sat/satoko/utils/sort.h +0 -65
  1710. data/ext/abc/src/sat/satoko/utils/vec/vec_char.h +0 -260
  1711. data/ext/abc/src/sat/satoko/utils/vec/vec_flt.h +0 -246
  1712. data/ext/abc/src/sat/satoko/utils/vec/vec_int.h +0 -240
  1713. data/ext/abc/src/sat/satoko/utils/vec/vec_sdbl.h +0 -253
  1714. data/ext/abc/src/sat/satoko/utils/vec/vec_uint.h +0 -268
  1715. data/ext/abc/src/sat/satoko/watch_list.h +0 -203
  1716. data/ext/abc/src/sat/xsat/license +0 -39
  1717. data/ext/abc/src/sat/xsat/module.make +0 -3
  1718. data/ext/abc/src/sat/xsat/xsat.h +0 -59
  1719. data/ext/abc/src/sat/xsat/xsatBQueue.h +0 -190
  1720. data/ext/abc/src/sat/xsat/xsatClause.h +0 -109
  1721. data/ext/abc/src/sat/xsat/xsatCnfReader.c +0 -236
  1722. data/ext/abc/src/sat/xsat/xsatHeap.h +0 -330
  1723. data/ext/abc/src/sat/xsat/xsatMemory.h +0 -222
  1724. data/ext/abc/src/sat/xsat/xsatSolver.c +0 -1003
  1725. data/ext/abc/src/sat/xsat/xsatSolver.h +0 -248
  1726. data/ext/abc/src/sat/xsat/xsatSolverAPI.c +0 -346
  1727. data/ext/abc/src/sat/xsat/xsatUtils.h +0 -106
  1728. data/ext/abc/src/sat/xsat/xsatWatchList.h +0 -269
  1729. data/ext/abc/src/starter.c +0 -190
  1730. data/ext/abc/src/template.c +0 -111
  1731. data/ext/extconf.rb +0 -14
  1732. data/ext/ruby_abc_wrapper.h +0 -13
data/ext/abc/i10.aig DELETED
@@ -1,752 +0,0 @@
1
- aig 2932 257 0 224 2675
2
- 886
3
- 1864
4
- 2106
5
- 2108
6
- 2155
7
- 2164
8
- 2389
9
- 2491
10
- 2509
11
- 2461
12
- 2754
13
- 2787
14
- 2789
15
- 2817
16
- 2821
17
- 2834
18
- 2864
19
- 2866
20
- 2868
21
- 2870
22
- 2872
23
- 2912
24
- 2958
25
- 3004
26
- 3056
27
- 3108
28
- 3160
29
- 3214
30
- 3262
31
- 3303
32
- 3325
33
- 3349
34
- 3417
35
- 3487
36
- 3557
37
- 3651
38
- 3745
39
- 3841
40
- 3873
41
- 67
42
- 3876
43
- 3887
44
- 3897
45
- 3907
46
- 3917
47
- 3940
48
- 3948
49
- 2784
50
- 3962
51
- 3955
52
- 93
53
- 766
54
- 578
55
- 4068
56
- 2126
57
- 4072
58
- 2124
59
- 4082
60
- 4084
61
- 4086
62
- 4088
63
- 2128
64
- 2116
65
- 4233
66
- 4234
67
- 555
68
- 4243
69
- 4255
70
- 4276
71
- 4298
72
- 3261
73
- 3213
74
- 3159
75
- 3107
76
- 3055
77
- 3003
78
- 2957
79
- 2911
80
- 979
81
- 1367
82
- 1199
83
- 1319
84
- 2355
85
- 2279
86
- 2317
87
- 3393
88
- 3461
89
- 3531
90
- 3639
91
- 3733
92
- 3829
93
- 887
94
- 4300
95
- 4330
96
- 2136
97
- 2120
98
- 4332
99
- 4334
100
- 4336
101
- 2118
102
- 4338
103
- 4340
104
- 4342
105
- 4344
106
- 4381
107
- 4437
108
- 4449
109
- 4461
110
- 4473
111
- 4485
112
- 4497
113
- 4512
114
- 317
115
- 4516
116
- 4546
117
- 4554
118
- 4564
119
- 4574
120
- 2122
121
- 4595
122
- 2132
123
- 4596
124
- 4598
125
- 4600
126
- 2134
127
- 4604
128
- 4611
129
- 4613
130
- 4635
131
- 4651
132
- 4667
133
- 4672
134
- 4683
135
- 45
136
- 4699
137
- 353
138
- 4755
139
- 4779
140
- 4799
141
- 4735
142
- 4802
143
- 4808
144
- 4823
145
- 4841
146
- 5120
147
- 5266
148
- 5279
149
- 5295
150
- 5301
151
- 5311
152
- 5364
153
- 383
154
- 5367
155
- 5399
156
- 5411
157
- 5423
158
- 5435
159
- 5447
160
- 5459
161
- 5477
162
- 2178
163
- 5487
164
- 5492
165
- 4209
166
- 5499
167
- 2505
168
- 5503
169
- 5517
170
- 413
171
- 5527
172
- 5537
173
- 5547
174
- 5557
175
- 5567
176
- 5577
177
- 5587
178
- 5597
179
- 5607
180
- 5617
181
- 5627
182
- 5637
183
- 5647
184
- 5653
185
- 5662
186
- 385
187
- 423
188
- 81
189
- 5671
190
- 5677
191
- 5683
192
- 5689
193
- 5693
194
- 5697
195
- 4895
196
- 4933
197
- 4983
198
- 5021
199
- 5065
200
- 5103
201
- 4846
202
- 5161
203
- 5175
204
- 5201
205
- 5215
206
- 5235
207
- 5249
208
- 4861
209
- 5131
210
- 5141
211
- 5717
212
- 5735
213
- 5755
214
- 5773
215
- 5785
216
- 5795
217
- 5805
218
- 5813
219
- 5821
220
- 5827
221
- 5833
222
- 5843
223
- 5851
224
- 5859
225
- 5865
226
- �1���������������
227
- ��!�U��� ����X���������������������j������r�0���
228
-
229
- X*�����^�j���������6���������
230
- ��������
231
- 
232
- ��')�������*���[`b�c�����R[c Yg\����82 4���  !#229;����VXWXVV� ����$��������D�����������������������  �3��4  ���� � �����tt�� �����������������������������������������U�6���A��B���������c��d���d����#����<��8��������?�B�88��((�� ���u�E<D��������D� ��I��J���������U��\���\��������<��8��������?�B�88��((�� ���e�E<D�����
233
- ���D�O����������
234
- ��:�:���������A�?�
235
- ��4�4�I�K�3�5�����
236
- ����wmM-
237
- �
238
- �
239
- ��P������������?�A�}��a�c�����
240
- ��9�;�q�s�Q�S�����
241
- ��3�5�e�g�A�C����� 
242
- ��� �wmM-
243
- �n����������
244
- ��������������� �� ����� }� ����� ��   � �� � �� � � � � � � �� � �
245
- �
246
- �
247
- ��
248
- � �� � �� � �
249
- ��
250
- �� � � � � �� ��� �� � � �������z���U��������� �,��������������������0�����}���n�����������
251
- ����������������������������
252
- ���������������������������
253
- ���������������������������
254
- ���������������������������� ������������������������� �������O����������G����I �
255
- ��������� ���������A������
256
- ����������������������
257
- ��������� ���������A������
258
- �����������������������
259
- ��������� ���������A������ �� ��������� ������
260
- �
261
- ��� ���� �� �� �� ����
262
- � ���������� ������� )� [����������������T�<��������������� ��������������� ������.���� ��     � � �� � �������� ��
263
- �����$��)��&�(�&��&�(�&T�&�$� �� � �)���� � �
264
- �
265
- ���%�-�$� � �%��(����%�'�' � �' �( �'%',�),&�'138�)82�&=?D�)D>�&IKP�(P�$���
266
- �'�'�� �&�'d�%������&�)�&��*�&�'��&�&�
267
- � �'�(�%��%�%��%�%��%�%��%���%�%��%���%�%��%���+�$��+���+���+���+���+���+���+���+���+���+���+���+���+���+���+���+���+�!�
268
- �+V��&��)��)� � �(���� �(�
269
- i1 V32(1)
270
- i2 V32(2)
271
- i3 V32(3)
272
- i4 V56(0)
273
- i5 V289(0)
274
- i6 V10(0)
275
- i7 V13(0)
276
- i8 V35(0)
277
- i9 V203(0)
278
- i10 V288(6)
279
- i11 V288(7)
280
- i12 V248(0)
281
- i13 V249(0)
282
- i14 V62(0)
283
- i15 V59(0)
284
- i16 V174(0)
285
- i17 V215(0)
286
- i18 V66(0)
287
- i19 V70(0)
288
- i20 V43(0)
289
- i21 V214(0)
290
- i22 V37(0)
291
- i23 V271(0)
292
- i24 V40(0)
293
- i25 V45(0)
294
- i26 V149(7)
295
- i27 V149(6)
296
- i28 V149(5)
297
- i29 V149(4)
298
- i30 V1(0)
299
- i31 V7(0)
300
- i32 V34(0)
301
- i33 V243(0)
302
- i34 V244(0)
303
- i35 V245(0)
304
- i36 V246(0)
305
- i37 V247(0)
306
- i38 V293(0)
307
- i39 V302(0)
308
- i40 V270(0)
309
- i41 V269(0)
310
- i42 V274(0)
311
- i43 V202(0)
312
- i44 V275(0)
313
- i45 V257(7)
314
- i46 V257(5)
315
- i47 V257(3)
316
- i48 V257(1)
317
- i49 V257(2)
318
- i50 V257(4)
319
- i51 V257(6)
320
- i52 V9(0)
321
- i53 V149(0)
322
- i54 V149(1)
323
- i55 V149(2)
324
- i56 V149(3)
325
- i57 V169(1)
326
- i58 V165(0)
327
- i59 V165(2)
328
- i60 V165(4)
329
- i61 V165(5)
330
- i62 V165(6)
331
- i63 V165(7)
332
- i64 V165(1)
333
- i65 V88(2)
334
- i66 V88(3)
335
- i67 V55(0)
336
- i68 V169(0)
337
- i69 V52(0)
338
- i70 V5(0)
339
- i71 V6(0)
340
- i72 V12(0)
341
- i73 V11(0)
342
- i74 V4(0)
343
- i75 V165(3)
344
- i76 V51(0)
345
- i77 V65(0)
346
- i78 V290(0)
347
- i79 V279(0)
348
- i80 V280(0)
349
- i81 V288(4)
350
- i82 V288(2)
351
- i83 V288(0)
352
- i84 V258(0)
353
- i85 V229(5)
354
- i86 V229(4)
355
- i87 V229(3)
356
- i88 V229(2)
357
- i89 V229(1)
358
- i90 V229(0)
359
- i91 V223(5)
360
- i92 V223(4)
361
- i93 V223(3)
362
- i94 V223(2)
363
- i95 V223(1)
364
- i96 V223(0)
365
- i97 V189(5)
366
- i98 V189(4)
367
- i99 V189(3)
368
- i100 V189(2)
369
- i101 V189(1)
370
- i102 V189(0)
371
- i103 V183(5)
372
- i104 V183(4)
373
- i105 V183(3)
374
- i106 V183(2)
375
- i107 V183(1)
376
- i108 V183(0)
377
- i109 V239(4)
378
- i110 V239(3)
379
- i111 V239(2)
380
- i112 V239(1)
381
- i113 V239(0)
382
- i114 V234(4)
383
- i115 V234(3)
384
- i116 V234(2)
385
- i117 V234(1)
386
- i118 V234(0)
387
- i119 V199(4)
388
- i120 V199(3)
389
- i121 V199(2)
390
- i122 V199(1)
391
- i123 V199(0)
392
- i124 V194(4)
393
- i125 V194(3)
394
- i126 V194(2)
395
- i127 V194(1)
396
- i128 V194(0)
397
- i129 V257(0)
398
- i130 V32(8)
399
- i131 V32(7)
400
- i132 V32(6)
401
- i133 V32(5)
402
- i134 V32(4)
403
- i135 V32(11)
404
- i136 V32(10)
405
- i137 V32(9)
406
- i138 V88(1)
407
- i139 V88(0)
408
- i140 V84(5)
409
- i141 V84(4)
410
- i142 V84(3)
411
- i143 V84(2)
412
- i144 V84(1)
413
- i145 V84(0)
414
- i146 V78(5)
415
- i147 V78(4)
416
- i148 V2(0)
417
- i149 V3(0)
418
- i150 V14(0)
419
- i151 V213(0)
420
- i152 V213(5)
421
- i153 V213(4)
422
- i154 V213(3)
423
- i155 V213(2)
424
- i156 V213(1)
425
- i157 V268(5)
426
- i158 V268(3)
427
- i159 V268(1)
428
- i160 V268(2)
429
- i161 V268(4)
430
- i162 V8(0)
431
- i163 V60(0)
432
- i164 V53(0)
433
- i165 V57(0)
434
- i166 V109(0)
435
- i167 V277(0)
436
- i168 V278(0)
437
- i169 V259(0)
438
- i170 V260(0)
439
- i171 V67(0)
440
- i172 V68(0)
441
- i173 V69(0)
442
- i174 V216(0)
443
- i175 V175(0)
444
- i176 V177(0)
445
- i177 V172(0)
446
- i178 V171(0)
447
- i179 V50(0)
448
- i180 V63(0)
449
- i181 V71(0)
450
- i182 V292(0)
451
- i183 V291(0)
452
- i184 V91(0)
453
- i185 V91(1)
454
- i186 V294(0)
455
- i187 V207(0)
456
- i188 V295(0)
457
- i189 V204(0)
458
- i190 V205(0)
459
- i191 V261(0)
460
- i192 V262(0)
461
- i193 V100(0)
462
- i194 V100(5)
463
- i195 V100(4)
464
- i196 V100(3)
465
- i197 V100(2)
466
- i198 V100(1)
467
- i199 V240(0)
468
- i200 V242(0)
469
- i201 V241(0)
470
- i202 V33(0)
471
- i203 V16(0)
472
- i204 V15(0)
473
- i205 V101(0)
474
- i206 V268(0)
475
- i207 V288(1)
476
- i208 V288(3)
477
- i209 V288(5)
478
- i210 V301(0)
479
- i211 V108(0)
480
- i212 V108(1)
481
- i213 V108(2)
482
- i214 V108(3)
483
- i215 V108(4)
484
- i216 V108(5)
485
- i217 V124(5)
486
- i218 V124(4)
487
- i219 V124(3)
488
- i220 V124(2)
489
- i221 V124(1)
490
- i222 V124(0)
491
- i223 V132(7)
492
- i224 V132(6)
493
- i225 V132(5)
494
- i226 V132(4)
495
- i227 V132(3)
496
- i228 V132(2)
497
- i229 V132(1)
498
- i230 V132(0)
499
- i231 V118(5)
500
- i232 V118(4)
501
- i233 V118(3)
502
- i234 V118(2)
503
- i235 V118(1)
504
- i236 V118(0)
505
- i237 V118(7)
506
- i238 V118(6)
507
- i239 V46(0)
508
- i240 V48(0)
509
- i241 V102(0)
510
- i242 V110(0)
511
- i243 V134(1)
512
- i244 V134(0)
513
- i245 V272(0)
514
- i246 V78(2)
515
- i247 V78(3)
516
- i248 V39(0)
517
- i249 V38(0)
518
- i250 V42(0)
519
- i251 V44(0)
520
- i252 V41(0)
521
- i253 V78(1)
522
- i254 V78(0)
523
- i255 V94(0)
524
- i256 V94(1)
525
- o0 V321(2)
526
- o1 V356
527
- o2 V357
528
- o3 V373
529
- o4 V375(0)
530
- o5 V377
531
- o6 V393(0)
532
- o7 V398(0)
533
- o8 V410(0)
534
- o9 V423(0)
535
- o10 V432
536
- o11 V435(0)
537
- o12 V500(0)
538
- o13 V508(0)
539
- o14 V511(0)
540
- o15 V512
541
- o16 V527
542
- o17 V537
543
- o18 V538
544
- o19 V539
545
- o20 V540
546
- o21 V541
547
- o22 V542
548
- o23 V543
549
- o24 V544
550
- o25 V545
551
- o26 V546
552
- o27 V547
553
- o28 V548
554
- o29 V572(9)
555
- o30 V572(8)
556
- o31 V572(7)
557
- o32 V572(6)
558
- o33 V572(5)
559
- o34 V572(4)
560
- o35 V572(3)
561
- o36 V572(2)
562
- o37 V572(1)
563
- o38 V572(0)
564
- o39 V585(0)
565
- o40 V587
566
- o41 V591(0)
567
- o42 V597(0)
568
- o43 V603(0)
569
- o44 V609(0)
570
- o45 V620
571
- o46 V621
572
- o47 V630
573
- o48 V634(0)
574
- o49 V640(0)
575
- o50 V657
576
- o51 V707
577
- o52 V763
578
- o53 V775
579
- o54 V778
580
- o55 V779
581
- o56 V780
582
- o57 V781
583
- o58 V782
584
- o59 V783
585
- o60 V784
586
- o61 V787
587
- o62 V789
588
- o63 V798(0)
589
- o64 V801
590
- o65 V802(0)
591
- o66 V821(0)
592
- o67 V826(0)
593
- o68 V966
594
- o69 V986
595
- o70 V1213(11)
596
- o71 V1213(10)
597
- o72 V1213(9)
598
- o73 V1213(8)
599
- o74 V1213(7)
600
- o75 V1213(6)
601
- o76 V1213(5)
602
- o77 V1213(4)
603
- o78 V1213(3)
604
- o79 V1213(2)
605
- o80 V1213(1)
606
- o81 V1213(0)
607
- o82 V1243(9)
608
- o83 V1243(8)
609
- o84 V1243(7)
610
- o85 V1243(6)
611
- o86 V1243(5)
612
- o87 V1243(4)
613
- o88 V1243(3)
614
- o89 V1243(2)
615
- o90 V1243(1)
616
- o91 V1243(0)
617
- o92 V1256
618
- o93 V1257
619
- o94 V1258
620
- o95 V1259
621
- o96 V1260
622
- o97 V1261
623
- o98 V1262
624
- o99 V1263
625
- o100 V1264
626
- o101 V1265
627
- o102 V1266
628
- o103 V1267
629
- o104 V1274(0)
630
- o105 V1281(0)
631
- o106 V1297(4)
632
- o107 V1297(3)
633
- o108 V1297(2)
634
- o109 V1297(1)
635
- o110 V1297(0)
636
- o111 V1365
637
- o112 V1375
638
- o113 V1378
639
- o114 V1380
640
- o115 V1382
641
- o116 V1384
642
- o117 V1386
643
- o118 V1387
644
- o119 V1392(0)
645
- o120 V1423
646
- o121 V1426
647
- o122 V1428
648
- o123 V1429
649
- o124 V1431
650
- o125 V1432
651
- o126 V1439(0)
652
- o127 V1440(0)
653
- o128 V1451(0)
654
- o129 V1459(0)
655
- o130 V1467(0)
656
- o131 V1470
657
- o132 V1480(0)
658
- o133 V1481(0)
659
- o134 V1492(0)
660
- o135 V1495(0)
661
- o136 V1512(3)
662
- o137 V1512(2)
663
- o138 V1512(1)
664
- o139 V1536(0)
665
- o140 V1537
666
- o141 V1539
667
- o142 V1552(1)
668
- o143 V1552(0)
669
- o144 V1613(0)
670
- o145 V1613(1)
671
- o146 V1620(0)
672
- o147 V1629(0)
673
- o148 V1645(0)
674
- o149 V1652(0)
675
- o150 V1669
676
- o151 V1671(0)
677
- o152 V1679(0)
678
- o153 V1693(0)
679
- o154 V1709(4)
680
- o155 V1709(3)
681
- o156 V1709(2)
682
- o157 V1709(1)
683
- o158 V1709(0)
684
- o159 V1717(0)
685
- o160 V1719
686
- o161 V1726(0)
687
- o162 V1736
688
- o163 V1741(0)
689
- o164 V1745(0)
690
- o165 V1757(0)
691
- o166 V1758(0)
692
- o167 V1759(0)
693
- o168 V1760(0)
694
- o169 V1771(1)
695
- o170 V1771(0)
696
- o171 V1781(1)
697
- o172 V1781(0)
698
- o173 V1829(9)
699
- o174 V1829(8)
700
- o175 V1829(7)
701
- o176 V1829(6)
702
- o177 V1829(5)
703
- o178 V1829(4)
704
- o179 V1829(3)
705
- o180 V1829(2)
706
- o181 V1829(1)
707
- o182 V1829(0)
708
- o183 V1832
709
- o184 V1833(0)
710
- o185 V1863(0)
711
- o186 V1864(0)
712
- o187 V1896(0)
713
- o188 V1897(0)
714
- o189 V1898(0)
715
- o190 V1899(0)
716
- o191 V1900(0)
717
- o192 V1901(0)
718
- o193 V1921(5)
719
- o194 V1921(4)
720
- o195 V1921(3)
721
- o196 V1921(2)
722
- o197 V1921(1)
723
- o198 V1921(0)
724
- o199 V1953(1)
725
- o200 V1953(7)
726
- o201 V1953(6)
727
- o202 V1953(5)
728
- o203 V1953(4)
729
- o204 V1953(3)
730
- o205 V1953(2)
731
- o206 V1953(0)
732
- o207 V1960(1)
733
- o208 V1960(0)
734
- o209 V1968(0)
735
- o210 V1992(1)
736
- o211 V1992(0)
737
- o212 V650
738
- o213 V651
739
- o214 V652
740
- o215 V653
741
- o216 V654
742
- o217 V655
743
- o218 V656
744
- o219 V1370
745
- o220 V1371
746
- o221 V1372
747
- o222 V1373
748
- o223 V1374
749
- c
750
- i10
751
- This file was written by ABC on Sat Mar 12 12:08:09 2011
752
- For information about AIGER format, refer to http://fmv.jku.at/aiger