Ugly Alpha 1
ipasir-sys:0.3.0

total uncompressed bytes

6.1 MB

total files

571

Fix

EnrichedExclude { exclude: [ "vendor/cadical/src/makefile", "**/test/*", "**/*_test.*", "**/*_tests/*", "**/build/*", ], exclude_added: [ "**/test/*", "**/*_test.*", "**/*_tests/*", "**/build/*", ], has_build_script: true, }

239 wasted files

total waste: 1.2 MB

  1. vendor/cadical/test/cnf/add128.cnf : 100.4 KB
  2. vendor/cadical/test/cnf/prime65537.cnf : 88.8 KB
  3. vendor/cadical/test/cnf/prime4294967297.cnf : 85.8 KB
  4. vendor/cadical/test/cnf/drat-trim.c : 61.5 KB
  5. vendor/cadical/test/cnf/add64.cnf : 52.7 KB
  6. vendor/cadical/test/cnf/prime2209.cnf : 45.4 KB
  7. vendor/cadical/test/cnf/factor2708413neg.cnf : 38.5 KB
  8. vendor/cadical/test/cnf/factor2708413pos.cnf : 38.3 KB
  9. vendor/cadical/test/cnf/prime1849.cnf : 35.9 KB
  10. vendor/cadical/test/cnf/prime1681.cnf : 35.9 KB
  11. vendor/cadical/test/cnf/prime1369.cnf : 35.9 KB
  12. vendor/cadical/test/cnf/prime961.cnf : 28.5 KB
  13. vendor/cadical/test/cnf/prime841.cnf : 28.5 KB
  14. vendor/cadical/test/cnf/prime529.cnf : 28.5 KB
  15. vendor/cadical/test/cnf/add32.cnf : 23.9 KB
  16. vendor/cadical/test/cnf/sqrt1042441.cnf : 22.7 KB
  17. vendor/cadical/test/cnf/prime361.cnf : 22.0 KB
  18. vendor/cadical/test/cnf/prime289.cnf : 22.0 KB
  19. vendor/cadical/test/cnf/sqrt259081.cnf : 17.9 KB
  20. vendor/cadical/test/cnf/prime169.cnf : 16.2 KB
  21. vendor/cadical/test/cnf/sqrt63001.cnf : 13.5 KB
  22. vendor/cadical/test/cnf/prime121.cnf : 11.3 KB
  23. vendor/cadical/test/cnf/add16.cnf : 10.9 KB
  24. vendor/cadical/test/cnf/sqrt11881.cnf : 9.8 KB
  25. vendor/cadical/test/cnf/sqrt9409.cnf : 9.8 KB
  26. vendor/cadical/test/cnf/sqrt10609.cnf : 9.8 KB
  27. vendor/cadical/test/cnf/sqrt10201.cnf : 9.8 KB
  28. vendor/cadical/test/cnf/sqrt11449.cnf : 9.8 KB
  29. vendor/cadical/test/cnf/sqrt16129.cnf : 9.8 KB
  30. vendor/cadical/test/cnf/sqrt7921.cnf : 9.8 KB
  31. vendor/cadical/test/cnf/sqrt6241.cnf : 9.8 KB
  32. vendor/cadical/test/cnf/sqrt5041.cnf : 9.8 KB
  33. vendor/cadical/test/cnf/sqrt4489.cnf : 9.8 KB
  34. vendor/cadical/test/cnf/sqrt6889.cnf : 9.8 KB
  35. vendor/cadical/test/cnf/sqrt5329.cnf : 9.8 KB
  36. vendor/cadical/test/cnf/sqrt12769.cnf : 9.8 KB
  37. vendor/cadical/test/cnf/prime49.cnf : 7.2 KB
  38. vendor/cadical/test/cnf/run.sh : 6.6 KB
  39. vendor/cadical/test/cnf/sqrt2809.cnf : 6.6 KB
  40. vendor/cadical/test/cnf/sqrt3721.cnf : 6.6 KB
  41. vendor/cadical/test/cnf/sqrt3481.cnf : 6.6 KB
  42. vendor/cadical/test/cnf/precochk.c : 6.5 KB
  43. vendor/cadical/test/cnf/prime2209.sol : 5.9 KB
  44. tests/interface_test.rs : 5.2 KB
  45. vendor/cadical/test/cnf/prime1681.sol : 4.6 KB
  46. vendor/cadical/test/cnf/prime1369.sol : 4.6 KB
  47. vendor/cadical/test/cnf/prime1849.sol : 4.6 KB
  48. vendor/cadical/test/cnf/add8.cnf : 4.5 KB
  49. vendor/cadical/test/cnf/prime25.cnf : 4.0 KB
  50. vendor/cadical/test/cnf/prime841.sol : 3.7 KB
  51. vendor/cadical/test/cnf/prime529.sol : 3.7 KB
  52. vendor/cadical/test/cnf/prime961.sol : 3.6 KB
  53. vendor/cadical/test/usage/run.sh : 3.6 KB
  54. vendor/ipasir/app/incplan/src/incplan/src/unit_tests/TestTimeSlotMapping.cpp : 3.2 KB
  55. vendor/cadical/test/api/cfreeze.c : 3.1 KB
  56. vendor/cadical/test/api/traverse.cpp : 3.0 KB
  57. vendor/cadical/test/cnf/sqrt1042441.sol : 3.0 KB
  58. vendor/cadical/test/api/run.sh : 2.8 KB
  59. vendor/cadical/test/cnf/prime289.sol : 2.8 KB
  60. vendor/cadical/test/cnf/prime361.sol : 2.8 KB
  61. vendor/cadical/test/cnf/full7.cnf : 2.5 KB
  62. vendor/cadical/test/api/example.cpp : 2.4 KB
  63. vendor/cadical/test/cnf/sqrt259081.sol : 2.4 KB
  64. vendor/cadical/test/api/cipasir.c : 2.3 KB
  65. vendor/ipasir/app/incplan/src/incplan/src/unit_tests/TestTimePointBasedSolver.cpp : 2.3 KB
  66. vendor/cadical/test/cnf/prime169.sol : 2.1 KB
  67. vendor/cadical/test/trace/run.sh : 2.0 KB
  68. vendor/cadical/test/icnf/run.sh : 2.0 KB
  69. vendor/cadical/test/README.md : 1.9 KB
  70. vendor/cadical/test/cnf/prime9.cnf : 1.8 KB
  71. vendor/cadical/test/cnf/sqrt63001.sol : 1.8 KB
  72. tests/coloring_test.rs : 1.8 KB
  73. vendor/cadical/test/cnf/add4.cnf : 1.6 KB
  74. vendor/cadical/test/api/learn.cpp : 1.6 KB
  75. vendor/cadical/test/mbt/run.sh : 1.5 KB
  76. vendor/cadical/test/cnf/prime121.sol : 1.5 KB
  77. vendor/cadical/test/cnf/ph6.cnf : 1.4 KB
  78. vendor/cadical/test/cnf/sqrt16129.sol : 1.3 KB
  79. vendor/cadical/test/cnf/sqrt11881.sol : 1.3 KB
  80. vendor/cadical/test/cnf/sqrt10609.sol : 1.3 KB
  81. vendor/cadical/test/cnf/sqrt11449.sol : 1.3 KB
  82. vendor/cadical/test/api/apitrace.cpp : 1.3 KB
  83. vendor/cadical/test/cnf/sqrt6241.sol : 1.3 KB
  84. vendor/cadical/test/cnf/sqrt9409.sol : 1.3 KB
  85. vendor/cadical/test/cnf/sqrt10201.sol : 1.3 KB
  86. vendor/cadical/test/cnf/sqrt6889.sol : 1.3 KB
  87. vendor/cadical/test/cnf/sqrt12769.sol : 1.3 KB
  88. vendor/cadical/test/cnf/sqrt7921.sol : 1.3 KB
  89. vendor/cadical/test/cnf/sqrt5329.sol : 1.3 KB
  90. vendor/cadical/test/cnf/sqrt5041.sol : 1.3 KB
  91. vendor/cadical/test/cnf/sqrt4489.sol : 1.3 KB
  92. vendor/cadical/test/cnf/full6.cnf : 1.1 KB
  93. vendor/cadical/test/cnf/README.md : 1.0 KB
  94. vendor/cadical/test/cnf/prime49.sol : 939 B
  95. vendor/cadical/test/api/terminate.cpp : 925 B
  96. vendor/cadical/test/cnf/sqrt2809.sol : 914 B
  97. vendor/cadical/test/cnf/sqrt3721.sol : 913 B
  98. vendor/cadical/test/cnf/sqrt3481.sol : 912 B
  99. vendor/cadical/test/trace/reg0027.trace : 856 B
  100. vendor/cadical/test/cnf/ph5.cnf : 810 B
  101. vendor/cadical/test/trace/reg0052.trace : 700 B
  102. vendor/cadical/test/api/ctest.c : 668 B
  103. vendor/cadical/test/trace/reg0029.trace : 629 B
  104. vendor/cadical/test/api/unit.cpp : 624 B
  105. vendor/cadical/test/trace/reg0041.trace : 595 B
  106. vendor/ipasir/app/incplan/src/incplan/src/libs/ipasir/test/mock_ipasir_cpp.h : 569 B
  107. vendor/cadical/test/cnf/prime25.sol : 527 B
  108. vendor/cadical/test/trace/reg0048.trace : 523 B
  109. vendor/cadical/test/cnf/prime4.cnf : 502 B
  110. vendor/cadical/test/cnf/full5.cnf : 475 B
  111. vendor/cadical/test/usage/README.md : 472 B
  112. vendor/cadical/test/api/morenmore.cpp : 438 B
  113. vendor/cadical/test/cnf/ph4.cnf : 437 B
  114. vendor/cadical/test/api/README.md : 381 B
  115. vendor/cadical/test/trace/reg0031.trace : 380 B
  116. vendor/cadical/test/trace/reg0008.trace : 373 B
  117. vendor/cadical/test/trace/reg0050.trace : 345 B
  118. vendor/cadical/test/trace/reg0049.trace : 345 B
  119. vendor/cadical/test/trace/reg0051.trace : 334 B
  120. vendor/cadical/test/mbt/README.md : 314 B
  121. vendor/cadical/test/trace/reg0030.trace : 298 B
  122. vendor/cadical/test/trace/reg0042.trace : 284 B
  123. vendor/cadical/test/trace/reg0040.trace : 283 B
  124. vendor/cadical/test/trace/README.md : 254 B
  125. vendor/cadical/test/trace/reg0038.trace : 253 B
  126. vendor/cadical/test/trace/reg0026.trace : 249 B
  127. vendor/cadical/test/cnf/prime9.sol : 245 B
  128. vendor/cadical/test/trace/reg0017.trace : 209 B
  129. vendor/cadical/test/trace/reg0033.trace : 208 B
  130. vendor/cadical/test/cnf/full4.cnf : 203 B
  131. vendor/cadical/test/cnf/ph3.cnf : 200 B
  132. vendor/cadical/test/trace/reg0035.trace : 199 B
  133. vendor/cadical/test/makefile : 195 B
  134. vendor/cadical/test/trace/reg0037.trace : 194 B
  135. vendor/cadical/test/trace/reg0043.trace : 192 B
  136. vendor/cadical/test/trace/reg0000.trace : 179 B
  137. vendor/cadical/test/trace/reg0024.trace : 174 B
  138. vendor/cadical/test/trace/reg0016.trace : 174 B
  139. vendor/cadical/test/trace/reg0015.trace : 166 B
  140. vendor/cadical/test/trace/reg0020.trace : 162 B
  141. vendor/cadical/test/trace/reg0019.trace : 150 B
  142. vendor/cadical/test/trace/reg0018.trace : 149 B
  143. vendor/cadical/test/api/newdelete.cpp : 131 B
  144. vendor/cadical/test/trace/reg0055.trace : 125 B
  145. vendor/cadical/test/trace/reg0032.trace : 119 B
  146. vendor/cadical/test/trace/reg0045.trace : 118 B
  147. vendor/cadical/test/trace/reg0039.trace : 110 B
  148. vendor/cadical/test/trace/reg0028.trace : 110 B
  149. vendor/cadical/test/trace/reg0046.trace : 109 B
  150. vendor/cadical/test/trace/reg0014.trace : 109 B
  151. vendor/cadical/test/trace/reg0047.trace : 107 B
  152. vendor/cadical/test/trace/reg0034.trace : 106 B
  153. vendor/cadical/test/cnf/elimclash.cnf : 105 B
  154. vendor/cadical/test/cnf/elimredundant.cnf : 103 B
  155. vendor/cadical/test/trace/reg0021.trace : 102 B
  156. vendor/cadical/test/mbt/makefile : 101 B
  157. vendor/cadical/test/trace/reg0012.trace : 100 B
  158. vendor/cadical/test/trace/reg0006.trace : 100 B
  159. vendor/cadical/test/api/makefile : 99 B
  160. vendor/cadical/test/trace/reg0010.trace : 98 B
  161. vendor/cadical/test/usage/makefile : 95 B
  162. vendor/cadical/test/trace/reg0036.trace : 95 B
  163. vendor/cadical/test/trace/reg0044.trace : 94 B
  164. vendor/cadical/test/cnf/makefile : 91 B
  165. vendor/cadical/test/cnf/sat9.cnf : 87 B
  166. vendor/cadical/test/cnf/sat8.cnf : 87 B
  167. vendor/cadical/test/cnf/sat7.cnf : 87 B
  168. vendor/cadical/test/cnf/sat6.cnf : 87 B
  169. vendor/cadical/test/cnf/sat13.cnf : 87 B
  170. vendor/cadical/test/cnf/sat12.cnf : 87 B
  171. vendor/cadical/test/cnf/sat11.cnf : 87 B
  172. vendor/cadical/test/cnf/sat10.cnf : 87 B
  173. vendor/cadical/test/cnf/sat5.cnf : 86 B
  174. vendor/cadical/test/cnf/full3.cnf : 86 B
  175. vendor/cadical/test/trace/reg0011.trace : 85 B
  176. vendor/cadical/test/trace/reg0013.trace : 82 B
  177. vendor/cadical/test/trace/makefile : 81 B
  178. vendor/cadical/test/cnf/prime4.sol : 80 B
  179. vendor/cadical/test/trace/reg0023.trace : 79 B
  180. vendor/cadical/test/cnf/ph2.cnf : 76 B
  181. vendor/cadical/test/trace/reg0009.trace : 73 B
  182. vendor/cadical/test/trace/reg0004.trace : 73 B
  183. vendor/cadical/test/trace/reg0005.trace : 67 B
  184. vendor/cadical/test/trace/reg0007.trace : 65 B
  185. vendor/cadical/test/icnf/two1.icnf : 65 B
  186. vendor/cadical/test/icnf/two2.icnf : 64 B
  187. vendor/cadical/test/cnf/block0.cnf : 64 B
  188. vendor/cadical/test/cnf/unit5.cnf : 63 B
  189. vendor/cadical/test/trace/reg0022.trace : 54 B
  190. vendor/cadical/test/trace/reg0003.trace : 54 B
  191. vendor/cadical/test/cnf/unit7.cnf : 52 B
  192. vendor/cadical/test/trace/reg0002.trace : 48 B
  193. vendor/cadical/test/cnf/regr000.sol : 48 B
  194. vendor/cadical/test/trace/reg0054.trace : 45 B
  195. vendor/cadical/test/trace/reg0025.trace : 45 B
  196. vendor/cadical/test/usage/relaxed-header.cnf : 43 B
  197. vendor/cadical/test/cnf/unit6.cnf : 39 B
  198. vendor/cadical/test/cnf/sat4.cnf : 39 B
  199. vendor/cadical/test/cnf/sat3.cnf : 39 B
  200. vendor/cadical/test/cnf/sat2.cnf : 39 B
  201. vendor/cadical/test/cnf/sat1.cnf : 39 B
  202. vendor/cadical/test/cnf/sat0.cnf : 38 B
  203. vendor/cadical/test/cnf/full2.cnf : 38 B
  204. vendor/cadical/test/trace/reg0053.trace : 35 B
  205. vendor/cadical/test/cnf/unit4.cnf : 28 B
  206. vendor/cadical/test/cnf/sat13.sol : 27 B
  207. vendor/cadical/test/cnf/sat9.sol : 26 B
  208. vendor/cadical/test/cnf/sat12.sol : 26 B
  209. vendor/cadical/test/cnf/sat11.sol : 26 B
  210. vendor/cadical/test/cnf/sat8.sol : 25 B
  211. vendor/cadical/test/cnf/sat7.sol : 25 B
  212. vendor/cadical/test/cnf/sat10.sol : 25 B
  213. vendor/cadical/test/cnf/unit3.sol : 24 B
  214. vendor/cadical/test/cnf/sub0.cnf : 24 B
  215. vendor/cadical/test/cnf/sat6.sol : 24 B
  216. vendor/cadical/test/cnf/sat4.sol : 24 B
  217. vendor/cadical/test/trace/reg0001.trace : 23 B
  218. vendor/cadical/test/cnf/sat3.sol : 23 B
  219. vendor/cadical/test/cnf/sat2.sol : 23 B
  220. vendor/cadical/test/cnf/unit3.cnf : 22 B
  221. vendor/cadical/test/cnf/unit2.sol : 22 B
  222. vendor/cadical/test/cnf/sat1.sol : 22 B
  223. vendor/cadical/test/cnf/unit2.cnf : 21 B
  224. vendor/cadical/test/cnf/unit1.sol : 21 B
  225. vendor/cadical/test/icnf/unit1.icnf : 20 B
  226. vendor/cadical/test/cnf/unit0.sol : 20 B
  227. vendor/cadical/test/icnf/unit2.icnf : 19 B
  228. vendor/cadical/test/cnf/full1.cnf : 19 B
  229. vendor/cadical/test/cnf/empty.sol : 18 B
  230. vendor/cadical/test/cnf/regr000.cnf : 16 B
  231. vendor/cadical/test/cnf/unit1.cnf : 15 B
  232. vendor/cadical/test/usage/variable-too-large.cnf : 14 B
  233. vendor/cadical/test/usage/missing-clause.cnf : 14 B
  234. vendor/cadical/test/cnf/unit0.cnf : 14 B
  235. vendor/ipasir/app/incplan/src/incplan/build/.gitignore : 13 B
  236. vendor/cadical/test/cnf/false.cnf : 12 B
  237. vendor/cadical/test/icnf/false.icnf : 11 B
  238. vendor/cadical/test/cnf/empty.cnf : 10 B
  239. vendor/cadical/test/icnf/empty.icnf : 9 B