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
@@ -1,346 +0,0 @@
1
- /* deflate.h -- internal compression state
2
- * Copyright (C) 1995-2010 Jean-loup Gailly
3
- * For conditions of distribution and use, see copyright notice in zlib.h
4
- */
5
-
6
- /* WARNING: this file should *not* be used by applications. It is
7
- part of the implementation of the compression library and is
8
- subject to change. Applications should only use zlib.h.
9
- */
10
-
11
- /* @(#) $Id$ */
12
-
13
- #ifndef DEFLATE_H
14
- #define DEFLATE_H
15
-
16
- #include "zutil.h"
17
-
18
- ABC_NAMESPACE_HEADER_START
19
-
20
- /* define NO_GZIP when compiling if you want to disable gzip header and
21
- trailer creation by deflate(). NO_GZIP would be used to avoid linking in
22
- the crc code when it is not needed. For shared libraries, gzip encoding
23
- should be left enabled. */
24
- #ifndef NO_GZIP
25
- # define GZIP
26
- #endif
27
-
28
- /* ===========================================================================
29
- * Internal compression state.
30
- */
31
-
32
- #define LENGTH_CODES 29
33
- /* number of length codes, not counting the special END_BLOCK code */
34
-
35
- #define LITERALS 256
36
- /* number of literal bytes 0..255 */
37
-
38
- #define L_CODES (LITERALS+1+LENGTH_CODES)
39
- /* number of Literal or Length codes, including the END_BLOCK code */
40
-
41
- #define D_CODES 30
42
- /* number of distance codes */
43
-
44
- #define BL_CODES 19
45
- /* number of codes used to transfer the bit lengths */
46
-
47
- #define HEAP_SIZE (2*L_CODES+1)
48
- /* maximum heap size */
49
-
50
- #define MAX_BITS 15
51
- /* All codes must not exceed MAX_BITS bits */
52
-
53
- #define INIT_STATE 42
54
- #define EXTRA_STATE 69
55
- #define NAME_STATE 73
56
- #define COMMENT_STATE 91
57
- #define HCRC_STATE 103
58
- #define BUSY_STATE 113
59
- #define FINISH_STATE 666
60
- /* Stream status */
61
-
62
-
63
- /* Data structure describing a single value and its code string. */
64
- typedef struct ct_data_s {
65
- union {
66
- ush freq; /* frequency count */
67
- ush code; /* bit string */
68
- } fc;
69
- union {
70
- ush dad; /* father node in Huffman tree */
71
- ush len; /* length of bit string */
72
- } dl;
73
- } FAR ct_data;
74
-
75
- #define Freq fc.freq
76
- #define Code fc.code
77
- #define Dad dl.dad
78
- #define Len dl.len
79
-
80
- typedef struct static_tree_desc_s static_tree_desc;
81
-
82
- typedef struct tree_desc_s {
83
- ct_data *dyn_tree; /* the dynamic tree */
84
- int max_code; /* largest code with non zero frequency */
85
- static_tree_desc *stat_desc; /* the corresponding static tree */
86
- } FAR tree_desc;
87
-
88
- typedef ush Pos;
89
- typedef Pos FAR Posf;
90
- typedef unsigned IPos;
91
-
92
- /* A Pos is an index in the character window. We use short instead of int to
93
- * save space in the various tables. IPos is used only for parameter passing.
94
- */
95
-
96
- typedef struct internal_state {
97
- z_streamp strm; /* pointer back to this zlib stream */
98
- int status; /* as the name implies */
99
- Bytef *pending_buf; /* output still pending */
100
- ulg pending_buf_size; /* size of pending_buf */
101
- Bytef *pending_out; /* next pending byte to output to the stream */
102
- uInt pending; /* nb of bytes in the pending buffer */
103
- int wrap; /* bit 0 true for zlib, bit 1 true for gzip */
104
- gz_headerp gzhead; /* gzip header information to write */
105
- uInt gzindex; /* where in extra, name, or comment */
106
- Byte method; /* STORED (for zip only) or DEFLATED */
107
- int last_flush; /* value of flush param for previous deflate call */
108
-
109
- /* used by deflate.c: */
110
-
111
- uInt w_size; /* LZ77 window size (32K by default) */
112
- uInt w_bits; /* log2(w_size) (8..16) */
113
- uInt w_mask; /* w_size - 1 */
114
-
115
- Bytef *window;
116
- /* Sliding window. Input bytes are read into the second half of the window,
117
- * and move to the first half later to keep a dictionary of at least wSize
118
- * bytes. With this organization, matches are limited to a distance of
119
- * wSize-MAX_MATCH bytes, but this ensures that IO is always
120
- * performed with a length multiple of the block size. Also, it limits
121
- * the window size to 64K, which is quite useful on MSDOS.
122
- * To do: use the user input buffer as sliding window.
123
- */
124
-
125
- ulg window_size;
126
- /* Actual size of window: 2*wSize, except when the user input buffer
127
- * is directly used as sliding window.
128
- */
129
-
130
- Posf *prev;
131
- /* Link to older string with same hash index. To limit the size of this
132
- * array to 64K, this link is maintained only for the last 32K strings.
133
- * An index in this array is thus a window index modulo 32K.
134
- */
135
-
136
- Posf *head; /* Heads of the hash chains or NIL. */
137
-
138
- uInt ins_h; /* hash index of string to be inserted */
139
- uInt hash_size; /* number of elements in hash table */
140
- uInt hash_bits; /* log2(hash_size) */
141
- uInt hash_mask; /* hash_size-1 */
142
-
143
- uInt hash_shift;
144
- /* Number of bits by which ins_h must be shifted at each input
145
- * step. It must be such that after MIN_MATCH steps, the oldest
146
- * byte no longer takes part in the hash key, that is:
147
- * hash_shift * MIN_MATCH >= hash_bits
148
- */
149
-
150
- long block_start;
151
- /* Window position at the beginning of the current output block. Gets
152
- * negative when the window is moved backwards.
153
- */
154
-
155
- uInt match_length; /* length of best match */
156
- IPos prev_match; /* previous match */
157
- int match_available; /* set if previous match exists */
158
- uInt strstart; /* start of string to insert */
159
- uInt match_start; /* start of matching string */
160
- uInt lookahead; /* number of valid bytes ahead in window */
161
-
162
- uInt prev_length;
163
- /* Length of the best match at previous step. Matches not greater than this
164
- * are discarded. This is used in the lazy match evaluation.
165
- */
166
-
167
- uInt max_chain_length;
168
- /* To speed up deflation, hash chains are never searched beyond this
169
- * length. A higher limit improves compression ratio but degrades the
170
- * speed.
171
- */
172
-
173
- uInt max_lazy_match;
174
- /* Attempt to find a better match only when the current match is strictly
175
- * smaller than this value. This mechanism is used only for compression
176
- * levels >= 4.
177
- */
178
- # define max_insert_length max_lazy_match
179
- /* Insert new strings in the hash table only if the match length is not
180
- * greater than this length. This saves time but degrades compression.
181
- * max_insert_length is used only for compression levels <= 3.
182
- */
183
-
184
- int level; /* compression level (1..9) */
185
- int strategy; /* favor or force Huffman coding*/
186
-
187
- uInt good_match;
188
- /* Use a faster search when the previous match is longer than this */
189
-
190
- int nice_match; /* Stop searching when current match exceeds this */
191
-
192
- /* used by trees.c: */
193
- /* Didn't use ct_data typedef below to supress compiler warning */
194
- struct ct_data_s dyn_ltree[HEAP_SIZE]; /* literal and length tree */
195
- struct ct_data_s dyn_dtree[2*D_CODES+1]; /* distance tree */
196
- struct ct_data_s bl_tree[2*BL_CODES+1]; /* Huffman tree for bit lengths */
197
-
198
- struct tree_desc_s l_desc; /* desc. for literal tree */
199
- struct tree_desc_s d_desc; /* desc. for distance tree */
200
- struct tree_desc_s bl_desc; /* desc. for bit length tree */
201
-
202
- ush bl_count[MAX_BITS+1];
203
- /* number of codes at each bit length for an optimal tree */
204
-
205
- int heap[2*L_CODES+1]; /* heap used to build the Huffman trees */
206
- int heap_len; /* number of elements in the heap */
207
- int heap_max; /* element of largest frequency */
208
- /* The sons of heap[n] are heap[2*n] and heap[2*n+1]. heap[0] is not used.
209
- * The same heap array is used to build all trees.
210
- */
211
-
212
- uch depth[2*L_CODES+1];
213
- /* Depth of each subtree used as tie breaker for trees of equal frequency
214
- */
215
-
216
- uchf *l_buf; /* buffer for literals or lengths */
217
-
218
- uInt lit_bufsize;
219
- /* Size of match buffer for literals/lengths. There are 4 reasons for
220
- * limiting lit_bufsize to 64K:
221
- * - frequencies can be kept in 16 bit counters
222
- * - if compression is not successful for the first block, all input
223
- * data is still in the window so we can still emit a stored block even
224
- * when input comes from standard input. (This can also be done for
225
- * all blocks if lit_bufsize is not greater than 32K.)
226
- * - if compression is not successful for a file smaller than 64K, we can
227
- * even emit a stored file instead of a stored block (saving 5 bytes).
228
- * This is applicable only for zip (not gzip or zlib).
229
- * - creating new Huffman trees less frequently may not provide fast
230
- * adaptation to changes in the input data statistics. (Take for
231
- * example a binary file with poorly compressible code followed by
232
- * a highly compressible string table.) Smaller buffer sizes give
233
- * fast adaptation but have of course the overhead of transmitting
234
- * trees more frequently.
235
- * - I can't count above 4
236
- */
237
-
238
- uInt last_lit; /* running index in l_buf */
239
-
240
- ushf *d_buf;
241
- /* Buffer for distances. To simplify the code, d_buf and l_buf have
242
- * the same number of elements. To use different lengths, an extra flag
243
- * array would be necessary.
244
- */
245
-
246
- ulg opt_len; /* bit length of current block with optimal trees */
247
- ulg static_len; /* bit length of current block with static trees */
248
- uInt matches; /* number of string matches in current block */
249
- int last_eob_len; /* bit length of EOB code for last block */
250
-
251
- #ifdef DEBUG
252
- ulg compressed_len; /* total bit length of compressed file mod 2^32 */
253
- ulg bits_sent; /* bit length of compressed data sent mod 2^32 */
254
- #endif
255
-
256
- ush bi_buf;
257
- /* Output buffer. bits are inserted starting at the bottom (least
258
- * significant bits).
259
- */
260
- int bi_valid;
261
- /* Number of valid bits in bi_buf. All bits above the last valid bit
262
- * are always zero.
263
- */
264
-
265
- ulg high_water;
266
- /* High water mark offset in window for initialized bytes -- bytes above
267
- * this are set to zero in order to avoid memory check warnings when
268
- * longest match routines access bytes past the input. This is then
269
- * updated to the new high water mark.
270
- */
271
-
272
- } FAR deflate_state;
273
-
274
- /* Output a byte on the stream.
275
- * IN assertion: there is enough room in pending_buf.
276
- */
277
- #define put_byte(s, c) {s->pending_buf[s->pending++] = (c);}
278
-
279
-
280
- #define MIN_LOOKAHEAD (MAX_MATCH+MIN_MATCH+1)
281
- /* Minimum amount of lookahead, except at the end of the input file.
282
- * See deflate.c for comments about the MIN_MATCH+1.
283
- */
284
-
285
- #define MAX_DIST(s) ((s)->w_size-MIN_LOOKAHEAD)
286
- /* In order to simplify the code, particularly on 16 bit machines, match
287
- * distances are limited to MAX_DIST instead of WSIZE.
288
- */
289
-
290
- #define WIN_INIT MAX_MATCH
291
- /* Number of bytes after end of data in window to initialize in order to avoid
292
- memory checker errors from longest match routines */
293
-
294
- /* in trees.c */
295
- void ZLIB_INTERNAL _tr_init OF((deflate_state *s));
296
- int ZLIB_INTERNAL _tr_tally OF((deflate_state *s, unsigned dist, unsigned lc));
297
- void ZLIB_INTERNAL _tr_flush_block OF((deflate_state *s, charf *buf,
298
- ulg stored_len, int last));
299
- void ZLIB_INTERNAL _tr_align OF((deflate_state *s));
300
- void ZLIB_INTERNAL _tr_stored_block OF((deflate_state *s, charf *buf,
301
- ulg stored_len, int last));
302
-
303
- #define d_code(dist) \
304
- ((dist) < 256 ? _dist_code[dist] : _dist_code[256+((dist)>>7)])
305
- /* Mapping from a distance to a distance code. dist is the distance - 1 and
306
- * must not have side effects. _dist_code[256] and _dist_code[257] are never
307
- * used.
308
- */
309
-
310
- #ifndef DEBUG
311
- /* Inline versions of _tr_tally for speed: */
312
-
313
- #if defined(GEN_TREES_H) || !defined(STDC)
314
- extern uch ZLIB_INTERNAL _length_code[];
315
- extern uch ZLIB_INTERNAL _dist_code[];
316
- #else
317
- extern const uch ZLIB_INTERNAL _length_code[];
318
- extern const uch ZLIB_INTERNAL _dist_code[];
319
- #endif
320
-
321
- # define _tr_tally_lit(s, c, flush) \
322
- { uch cc = (c); \
323
- s->d_buf[s->last_lit] = 0; \
324
- s->l_buf[s->last_lit++] = cc; \
325
- s->dyn_ltree[cc].Freq++; \
326
- flush = (s->last_lit == s->lit_bufsize-1); \
327
- }
328
- # define _tr_tally_dist(s, distance, length, flush) \
329
- { uch len = (length); \
330
- ush dist = (distance); \
331
- s->d_buf[s->last_lit] = dist; \
332
- s->l_buf[s->last_lit++] = len; \
333
- dist--; \
334
- s->dyn_ltree[_length_code[len]+LITERALS+1].Freq++; \
335
- s->dyn_dtree[d_code(dist)].Freq++; \
336
- flush = (s->last_lit == s->lit_bufsize-1); \
337
- }
338
- #else
339
- # define _tr_tally_lit(s, c, flush) flush = _tr_tally(s, 0, c)
340
- # define _tr_tally_dist(s, distance, length, flush) \
341
- flush = _tr_tally(s, distance, length)
342
- #endif
343
-
344
- ABC_NAMESPACE_HEADER_END
345
-
346
- #endif /* DEFLATE_H */
@@ -1,33 +0,0 @@
1
- /* gzclose.c -- zlib gzclose() function
2
- * Copyright (C) 2004, 2010 Mark Adler
3
- * For conditions of distribution and use, see copyright notice in zlib.h
4
- */
5
-
6
- #include <stdio.h>
7
- #include <stdlib.h>
8
- #include <string.h>
9
- #include "misc/util/abc_global.h"
10
-
11
- #include "gzguts.h"
12
-
13
- ABC_NAMESPACE_IMPL_START
14
-
15
- /* gzclose() is in a separate file so that it is linked in only if it is used.
16
- That way the other gzclose functions can be used instead to avoid linking in
17
- unneeded compression or decompression routines. */
18
- int ZEXPORT gzclose(gzFile file)
19
- {
20
- #ifndef NO_GZCOMPRESS
21
- gz_statep state;
22
-
23
- if (file == NULL)
24
- return Z_STREAM_ERROR;
25
- state = (gz_statep)file;
26
-
27
- return state->mode == GZ_READ ? gzclose_r(file) : gzclose_w(file);
28
- #else
29
- return gzclose_r(file);
30
- #endif
31
- }
32
-
33
- ABC_NAMESPACE_IMPL_END
@@ -1,147 +0,0 @@
1
- /* gzguts.h -- zlib internal header definitions for gz* operations
2
- * Copyright (C) 2004, 2005, 2010 Mark Adler
3
- * For conditions of distribution and use, see copyright notice in zlib.h
4
- */
5
-
6
- #ifdef _LARGEFILE64_SOURCE
7
- # ifndef _LARGEFILE_SOURCE
8
- # define _LARGEFILE_SOURCE 1
9
- # endif
10
- # ifdef _FILE_OFFSET_BITS
11
- # undef _FILE_OFFSET_BITS
12
- # endif
13
- #endif
14
-
15
- #if ((__GNUC__-0) * 10 + __GNUC_MINOR__-0 >= 33) && !defined(NO_VIZ)
16
- # define ZLIB_INTERNAL __attribute__((visibility ("hidden")))
17
- #else
18
- # define ZLIB_INTERNAL
19
- #endif
20
-
21
- #include <stdio.h>
22
- #include "zlib.h"
23
- #ifdef STDC
24
- # include <string.h>
25
- # include <stdlib.h>
26
- # include <limits.h>
27
- #endif
28
- #include <fcntl.h>
29
-
30
- #ifdef NO_DEFLATE /* for compatibility with old definition */
31
- # define NO_GZCOMPRESS
32
- #endif
33
-
34
- #ifdef _MSC_VER
35
- # include <io.h>
36
- # define vsnprintf _vsnprintf
37
- #endif
38
-
39
- #ifndef local
40
- # define local static
41
- #endif
42
- /* compile with -Dlocal if your debugger can't find static symbols */
43
-
44
- /* gz* functions always use library allocation functions */
45
- #ifndef STDC
46
- extern voidp malloc OF((uInt size));
47
- extern void free OF((voidpf ptr));
48
- #endif
49
-
50
- /* get errno and strerror definition */
51
- #if defined UNDER_CE
52
- # include <windows.h>
53
- # define zstrerror() gz_strwinerror((DWORD)GetLastError())
54
- #else
55
- # ifdef STDC
56
- # include <errno.h>
57
- # define zstrerror() strerror(errno)
58
- # else
59
- # define zstrerror() "stdio error (consult errno)"
60
- # endif
61
- #endif
62
-
63
- #include <stdio.h>
64
- #include "misc/util/abc_global.h"
65
-
66
- ABC_NAMESPACE_HEADER_START
67
-
68
- #ifdef _WIN32
69
- #define open _open
70
- #define close _close
71
- #define lseek _lseek
72
- #define read _read
73
- #define write _write
74
- #endif
75
-
76
- /* provide prototypes for these when building zlib without LFS */
77
- #if !defined(_LARGEFILE64_SOURCE) || _LFS64_LARGEFILE-0 == 0
78
- ZEXTERN gzFile ZEXPORT gzopen64 OF((const char *, const char *));
79
- ZEXTERN z_off64_t ZEXPORT gzseek64 OF((gzFile, z_off64_t, int));
80
- ZEXTERN z_off64_t ZEXPORT gztell64 OF((gzFile));
81
- ZEXTERN z_off64_t ZEXPORT gzoffset64 OF((gzFile));
82
- #endif
83
-
84
- /* default i/o buffer size -- double this for output when reading */
85
- #define GZBUFSIZE 8192
86
-
87
- /* gzip modes, also provide a little integrity check on the passed structure */
88
- #define GZ_NONE 0
89
- #define GZ_READ 7247
90
- #define GZ_WRITE 31153
91
- #define GZ_APPEND 1 /* mode set to GZ_WRITE after the file is opened */
92
-
93
- /* values for gz_state how */
94
- #define LOOK 0 /* look for a gzip header */
95
- #define COPY 1 /* copy input directly */
96
- #define GZIP 2 /* decompress a gzip stream */
97
-
98
- /* internal gzip file state data structure */
99
- typedef struct {
100
- /* used for both reading and writing */
101
- int mode; /* see gzip modes above */
102
- int fd; /* file descriptor */
103
- char *path; /* path or fd for error messages */
104
- z_off64_t pos; /* current position in uncompressed data */
105
- unsigned size; /* buffer size, zero if not allocated yet */
106
- unsigned want; /* requested buffer size, default is GZBUFSIZE */
107
- unsigned char *in; /* input buffer */
108
- unsigned char *out; /* output buffer (double-sized when reading) */
109
- unsigned char *next; /* next output data to deliver or write */
110
- /* just for reading */
111
- unsigned have; /* amount of output data unused at next */
112
- int eof; /* true if end of input file reached */
113
- z_off64_t start; /* where the gzip data started, for rewinding */
114
- z_off64_t raw; /* where the raw data started, for seeking */
115
- int how; /* 0: get header, 1: copy, 2: decompress */
116
- int direct; /* true if last read direct, false if gzip */
117
- /* just for writing */
118
- int level; /* compression level */
119
- int strategy; /* compression strategy */
120
- /* seek request */
121
- z_off64_t skip; /* amount to skip (already rewound if backwards) */
122
- int seek; /* true if seek request pending */
123
- /* error information */
124
- int err; /* error code */
125
- char *msg; /* error message */
126
- /* zlib inflate or deflate stream */
127
- z_stream strm; /* stream structure in-place (not a pointer) */
128
- } gz_state;
129
- typedef gz_state FAR *gz_statep;
130
-
131
- /* shared functions */
132
- void ZLIB_INTERNAL gz_error OF((gz_statep, int, const char *));
133
- #if defined UNDER_CE
134
- char ZLIB_INTERNAL *gz_strwinerror OF((DWORD error));
135
- #endif
136
-
137
- /* GT_OFF(x), where x is an unsigned value, is true if x > maximum z_off64_t
138
- value -- needed when comparing unsigned to z_off64_t, which is signed
139
- (possible z_off64_t types off_t, off64_t, and long are all signed) */
140
- #ifdef INT_MAX
141
- # define GT_OFF(x) (sizeof(int) == sizeof(z_off64_t) && (x) > INT_MAX)
142
- #else
143
- unsigned ZLIB_INTERNAL gz_intmax OF((void));
144
- # define GT_OFF(x) (sizeof(int) == sizeof(z_off64_t) && (x) > gz_intmax())
145
- #endif
146
-
147
- ABC_NAMESPACE_HEADER_END