Ugly Alpha 1
screwsat:2.1.1

total uncompressed bytes

43.1 MB

total files

238

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "LICENSE", "README.md", ], has_build_script: false, }

232 wasted files

total waste: 43.0 MB

  1. cnf/sat/perils_in_parallel_sub_01.cnf : 31.1 MB
  2. cnf/sat/yosupo_random_two_sat.cnf : 8.3 MB
  3. cnf/sat/sudoku_16.cnf : 1.5 MB
  4. examples/hard.cnf : 643.4 KB
  5. cnf/sat/cnfgen_php_30_50.cnf : 279.1 KB
  6. cnf/sat/maroonrk_four_color_graph.cnf : 259.0 KB
  7. cnf/sat/sudoku_9.cnf : 139.6 KB
  8. cnf/sat/cnfgen_parity_20.cnf : 38.8 KB
  9. cnf/unsat/graph_color_unsat.cnf : 22.2 KB
  10. cnf/sat/uf250-027.cnf : 15.3 KB
  11. cnf/unsat/cnfgen_php_20_5.cnf : 9.9 KB
  12. cnf/unsat/cnfgen_kcolor_3_gnd_100_2_plantclique_4.cnf : 8.6 KB
  13. examples/sudoku.rs : 7.5 KB
  14. cnf/unsat/cnfgen_randkcnf_3_75_400_083.cnf : 5.2 KB
  15. cnf/unsat/cnfgen_randkcnf_3_75_400_002.cnf : 5.2 KB
  16. cnf/unsat/cnfgen_randkcnf_3_75_400_037.cnf : 5.1 KB
  17. cnf/unsat/cnfgen_randkcnf_3_75_400_076.cnf : 5.1 KB
  18. cnf/unsat/cnfgen_randkcnf_3_75_400_098.cnf : 5.1 KB
  19. cnf/unsat/cnfgen_randkcnf_3_75_400_100.cnf : 5.1 KB
  20. cnf/unsat/cnfgen_randkcnf_3_75_400_071.cnf : 5.1 KB
  21. cnf/unsat/cnfgen_randkcnf_3_75_400_015.cnf : 5.1 KB
  22. cnf/unsat/cnfgen_randkcnf_3_75_400_032.cnf : 5.1 KB
  23. cnf/unsat/cnfgen_randkcnf_3_75_400_012.cnf : 5.1 KB
  24. cnf/unsat/cnfgen_randkcnf_3_75_400_068.cnf : 5.1 KB
  25. cnf/unsat/cnfgen_randkcnf_3_75_400_050.cnf : 5.1 KB
  26. cnf/unsat/cnfgen_randkcnf_3_75_400_005.cnf : 5.1 KB
  27. cnf/unsat/cnfgen_randkcnf_3_75_400_086.cnf : 5.1 KB
  28. cnf/unsat/cnfgen_randkcnf_3_75_400_099.cnf : 5.1 KB
  29. cnf/unsat/cnfgen_randkcnf_3_75_400_041.cnf : 5.1 KB
  30. cnf/unsat/cnfgen_randkcnf_3_75_400_023.cnf : 5.1 KB
  31. cnf/unsat/cnfgen_randkcnf_3_75_400_077.cnf : 5.1 KB
  32. cnf/unsat/cnfgen_randkcnf_3_75_400_063.cnf : 5.1 KB
  33. cnf/unsat/cnfgen_randkcnf_3_75_400_061.cnf : 5.1 KB
  34. cnf/unsat/cnfgen_randkcnf_3_75_400_060.cnf : 5.1 KB
  35. cnf/unsat/cnfgen_randkcnf_3_75_400_051.cnf : 5.1 KB
  36. cnf/unsat/cnfgen_randkcnf_3_75_400_097.cnf : 5.1 KB
  37. cnf/unsat/cnfgen_randkcnf_3_75_400_019.cnf : 5.1 KB
  38. cnf/unsat/cnfgen_randkcnf_3_75_400_003.cnf : 5.1 KB
  39. cnf/unsat/cnfgen_randkcnf_3_75_400_000.cnf : 5.1 KB
  40. cnf/unsat/cnfgen_randkcnf_3_75_400_047.cnf : 5.1 KB
  41. cnf/unsat/cnfgen_randkcnf_3_75_400_066.cnf : 5.1 KB
  42. cnf/unsat/cnfgen_randkcnf_3_75_400_052.cnf : 5.1 KB
  43. cnf/unsat/cnfgen_randkcnf_3_75_400_027.cnf : 5.1 KB
  44. cnf/unsat/cnfgen_randkcnf_3_75_400_016.cnf : 5.1 KB
  45. cnf/unsat/cnfgen_randkcnf_3_75_400_093.cnf : 5.1 KB
  46. cnf/unsat/cnfgen_randkcnf_3_75_400_031.cnf : 5.1 KB
  47. cnf/unsat/cnfgen_randkcnf_3_75_400_028.cnf : 5.1 KB
  48. cnf/unsat/cnfgen_randkcnf_3_75_400_022.cnf : 5.1 KB
  49. cnf/unsat/cnfgen_randkcnf_3_75_400_074.cnf : 5.1 KB
  50. cnf/unsat/cnfgen_randkcnf_3_75_400_067.cnf : 5.1 KB
  51. cnf/unsat/cnfgen_randkcnf_3_75_400_057.cnf : 5.1 KB
  52. cnf/unsat/cnfgen_randkcnf_3_75_400_082.cnf : 5.1 KB
  53. cnf/unsat/cnfgen_randkcnf_3_75_400_072.cnf : 5.1 KB
  54. cnf/unsat/cnfgen_randkcnf_3_75_400_025.cnf : 5.1 KB
  55. cnf/unsat/cnfgen_randkcnf_3_75_400_013.cnf : 5.1 KB
  56. cnf/unsat/cnfgen_randkcnf_3_75_400_081.cnf : 5.1 KB
  57. cnf/unsat/cnfgen_randkcnf_3_75_400_065.cnf : 5.1 KB
  58. cnf/unsat/cnfgen_randkcnf_3_75_400_033.cnf : 5.1 KB
  59. cnf/unsat/cnfgen_randkcnf_3_75_400_014.cnf : 5.1 KB
  60. cnf/unsat/cnfgen_randkcnf_3_75_400_078.cnf : 5.1 KB
  61. cnf/unsat/cnfgen_randkcnf_3_75_400_045.cnf : 5.1 KB
  62. cnf/unsat/cnfgen_randkcnf_3_75_400_073.cnf : 5.1 KB
  63. cnf/unsat/cnfgen_randkcnf_3_75_400_055.cnf : 5.1 KB
  64. cnf/unsat/cnfgen_randkcnf_3_75_400_053.cnf : 5.1 KB
  65. cnf/unsat/cnfgen_randkcnf_3_75_400_040.cnf : 5.1 KB
  66. cnf/unsat/cnfgen_randkcnf_3_75_400_007.cnf : 5.1 KB
  67. cnf/unsat/cnfgen_randkcnf_3_75_400_030.cnf : 5.1 KB
  68. cnf/unsat/cnfgen_randkcnf_3_75_400_017.cnf : 5.1 KB
  69. cnf/unsat/cnfgen_randkcnf_3_75_400_090.cnf : 5.1 KB
  70. cnf/unsat/cnfgen_randkcnf_3_75_400_011.cnf : 5.1 KB
  71. cnf/unsat/cnfgen_randkcnf_3_75_400_079.cnf : 5.1 KB
  72. cnf/unsat/cnfgen_randkcnf_3_75_400_069.cnf : 5.1 KB
  73. cnf/unsat/cnfgen_randkcnf_3_75_400_001.cnf : 5.1 KB
  74. cnf/unsat/cnfgen_randkcnf_3_75_400_096.cnf : 5.1 KB
  75. cnf/unsat/cnfgen_randkcnf_3_75_400_091.cnf : 5.1 KB
  76. cnf/unsat/cnfgen_randkcnf_3_75_400_049.cnf : 5.1 KB
  77. cnf/unsat/cnfgen_randkcnf_3_75_400_089.cnf : 5.1 KB
  78. cnf/unsat/cnfgen_randkcnf_3_75_400_048.cnf : 5.1 KB
  79. cnf/unsat/cnfgen_randkcnf_3_75_400_004.cnf : 5.1 KB
  80. cnf/unsat/cnfgen_randkcnf_3_75_400_080.cnf : 5.1 KB
  81. cnf/unsat/cnfgen_randkcnf_3_75_400_058.cnf : 5.1 KB
  82. cnf/unsat/cnfgen_randkcnf_3_75_400_054.cnf : 5.1 KB
  83. cnf/unsat/cnfgen_randkcnf_3_75_400_088.cnf : 5.1 KB
  84. cnf/unsat/cnfgen_randkcnf_3_75_400_020.cnf : 5.1 KB
  85. cnf/unsat/cnfgen_randkcnf_3_75_400_084.cnf : 5.1 KB
  86. cnf/unsat/cnfgen_randkcnf_3_75_400_046.cnf : 5.1 KB
  87. cnf/unsat/cnfgen_randkcnf_3_75_400_039.cnf : 5.1 KB
  88. cnf/unsat/cnfgen_randkcnf_3_75_400_024.cnf : 5.1 KB
  89. cnf/unsat/cnfgen_randkcnf_3_75_400_010.cnf : 5.1 KB
  90. cnf/unsat/cnfgen_randkcnf_3_75_400_035.cnf : 5.1 KB
  91. cnf/unsat/cnfgen_randkcnf_3_75_400_008.cnf : 5.1 KB
  92. cnf/unsat/cnfgen_randkcnf_3_75_400_092.cnf : 5.1 KB
  93. cnf/unsat/cnfgen_randkcnf_3_75_400_056.cnf : 5.1 KB
  94. cnf/unsat/cnfgen_randkcnf_3_75_400_038.cnf : 5.1 KB
  95. cnf/unsat/cnfgen_randkcnf_3_75_400_044.cnf : 5.1 KB
  96. cnf/unsat/cnfgen_randkcnf_3_75_400_018.cnf : 5.1 KB
  97. cnf/unsat/cnfgen_randkcnf_3_75_400_042.cnf : 5.1 KB
  98. cnf/unsat/cnfgen_randkcnf_3_75_400_075.cnf : 5.1 KB
  99. cnf/unsat/cnfgen_randkcnf_3_75_400_095.cnf : 5.1 KB
  100. cnf/unsat/cnfgen_randkcnf_3_75_400_087.cnf : 5.1 KB
  101. cnf/unsat/cnfgen_randkcnf_3_75_400_085.cnf : 5.1 KB
  102. cnf/unsat/cnfgen_randkcnf_3_75_400_070.cnf : 5.1 KB
  103. cnf/unsat/cnfgen_randkcnf_3_75_400_064.cnf : 5.1 KB
  104. cnf/unsat/cnfgen_randkcnf_3_75_400_062.cnf : 5.1 KB
  105. cnf/unsat/cnfgen_randkcnf_3_75_400_059.cnf : 5.1 KB
  106. cnf/unsat/cnfgen_randkcnf_3_75_400_043.cnf : 5.1 KB
  107. cnf/unsat/cnfgen_randkcnf_3_75_400_034.cnf : 5.1 KB
  108. cnf/unsat/cnfgen_randkcnf_3_75_400_036.cnf : 5.1 KB
  109. cnf/unsat/cnfgen_randkcnf_3_75_400_009.cnf : 5.1 KB
  110. cnf/unsat/cnfgen_randkcnf_3_75_400_006.cnf : 5.1 KB
  111. cnf/unsat/cnfgen_randkcnf_3_75_400_094.cnf : 5.1 KB
  112. cnf/unsat/cnfgen_randkcnf_3_75_400_026.cnf : 5.1 KB
  113. cnf/unsat/cnfgen_randkcnf_3_75_400_029.cnf : 5.1 KB
  114. cnf/unsat/cnfgen_randkcnf_3_75_400_021.cnf : 5.1 KB
  115. tests/lib.rs : 4.1 KB
  116. cnf/sat/cnfgen_php_4_44.cnf : 3.7 KB
  117. examples/simple.rs : 2.6 KB
  118. cnf/sat/cnfgen_randkcnf_3_50_100_002.cnf : 1.5 KB
  119. cnf/sat/cnfgen_randkcnf_3_50_100_029.cnf : 1.5 KB
  120. cnf/sat/cnfgen_randkcnf_3_50_100_014.cnf : 1.5 KB
  121. cnf/sat/cnfgen_randkcnf_3_50_100_048.cnf : 1.5 KB
  122. cnf/sat/cnfgen_randkcnf_3_50_100_044.cnf : 1.5 KB
  123. cnf/sat/cnfgen_randkcnf_3_50_100_013.cnf : 1.5 KB
  124. cnf/sat/cnfgen_randkcnf_3_50_100_009.cnf : 1.5 KB
  125. cnf/sat/cnfgen_randkcnf_3_50_100_049.cnf : 1.5 KB
  126. cnf/sat/cnfgen_randkcnf_3_50_100_031.cnf : 1.5 KB
  127. cnf/sat/cnfgen_randkcnf_3_50_100_007.cnf : 1.5 KB
  128. cnf/sat/cnfgen_randkcnf_3_50_100_077.cnf : 1.5 KB
  129. cnf/sat/cnfgen_randkcnf_3_50_100_035.cnf : 1.5 KB
  130. cnf/sat/cnfgen_randkcnf_3_50_100_084.cnf : 1.5 KB
  131. cnf/sat/cnfgen_randkcnf_3_50_100_094.cnf : 1.5 KB
  132. cnf/sat/cnfgen_randkcnf_3_50_100_089.cnf : 1.5 KB
  133. cnf/sat/cnfgen_randkcnf_3_50_100_003.cnf : 1.5 KB
  134. cnf/sat/cnfgen_randkcnf_3_50_100_091.cnf : 1.5 KB
  135. cnf/sat/cnfgen_randkcnf_3_50_100_060.cnf : 1.5 KB
  136. cnf/sat/cnfgen_randkcnf_3_50_100_012.cnf : 1.5 KB
  137. cnf/sat/cnfgen_randkcnf_3_50_100_093.cnf : 1.5 KB
  138. cnf/sat/cnfgen_randkcnf_3_50_100_092.cnf : 1.5 KB
  139. cnf/sat/cnfgen_randkcnf_3_50_100_076.cnf : 1.5 KB
  140. cnf/sat/cnfgen_randkcnf_3_50_100_030.cnf : 1.5 KB
  141. cnf/sat/cnfgen_randkcnf_3_50_100_011.cnf : 1.5 KB
  142. cnf/sat/cnfgen_randkcnf_3_50_100_079.cnf : 1.5 KB
  143. cnf/sat/cnfgen_randkcnf_3_50_100_072.cnf : 1.5 KB
  144. cnf/sat/cnfgen_randkcnf_3_50_100_041.cnf : 1.5 KB
  145. cnf/sat/cnfgen_randkcnf_3_50_100_004.cnf : 1.5 KB
  146. cnf/sat/cnfgen_randkcnf_3_50_100_001.cnf : 1.5 KB
  147. cnf/sat/cnfgen_randkcnf_3_50_100_059.cnf : 1.5 KB
  148. cnf/sat/cnfgen_randkcnf_3_50_100_071.cnf : 1.5 KB
  149. cnf/sat/cnfgen_randkcnf_3_50_100_068.cnf : 1.5 KB
  150. cnf/sat/cnfgen_randkcnf_3_50_100_062.cnf : 1.5 KB
  151. cnf/sat/cnfgen_randkcnf_3_50_100_058.cnf : 1.5 KB
  152. cnf/sat/cnfgen_randkcnf_3_50_100_043.cnf : 1.5 KB
  153. cnf/sat/cnfgen_randkcnf_3_50_100_016.cnf : 1.5 KB
  154. cnf/sat/cnfgen_randkcnf_3_50_100_005.cnf : 1.5 KB
  155. cnf/sat/cnfgen_randkcnf_3_50_100_090.cnf : 1.5 KB
  156. cnf/sat/cnfgen_randkcnf_3_50_100_073.cnf : 1.5 KB
  157. cnf/sat/cnfgen_randkcnf_3_50_100_027.cnf : 1.5 KB
  158. cnf/sat/cnfgen_randkcnf_3_50_100_098.cnf : 1.5 KB
  159. cnf/sat/cnfgen_randkcnf_3_50_100_086.cnf : 1.5 KB
  160. cnf/sat/cnfgen_randkcnf_3_50_100_025.cnf : 1.5 KB
  161. cnf/sat/cnfgen_randkcnf_3_50_100_100.cnf : 1.5 KB
  162. cnf/sat/cnfgen_randkcnf_3_50_100_061.cnf : 1.5 KB
  163. cnf/sat/cnfgen_randkcnf_3_50_100_055.cnf : 1.5 KB
  164. cnf/sat/cnfgen_randkcnf_3_50_100_040.cnf : 1.5 KB
  165. cnf/sat/cnfgen_randkcnf_3_50_100_038.cnf : 1.5 KB
  166. cnf/sat/cnfgen_randkcnf_3_50_100_020.cnf : 1.5 KB
  167. cnf/sat/cnfgen_randkcnf_3_50_100_078.cnf : 1.5 KB
  168. cnf/sat/cnfgen_randkcnf_3_50_100_075.cnf : 1.5 KB
  169. cnf/sat/cnfgen_randkcnf_3_50_100_056.cnf : 1.5 KB
  170. cnf/sat/cnfgen_randkcnf_3_50_100_021.cnf : 1.5 KB
  171. cnf/sat/cnfgen_randkcnf_3_50_100_008.cnf : 1.5 KB
  172. cnf/sat/cnfgen_randkcnf_3_50_100_081.cnf : 1.5 KB
  173. cnf/sat/cnfgen_randkcnf_3_50_100_064.cnf : 1.5 KB
  174. cnf/sat/cnfgen_randkcnf_3_50_100_039.cnf : 1.5 KB
  175. cnf/sat/cnfgen_randkcnf_3_50_100_018.cnf : 1.5 KB
  176. cnf/sat/cnfgen_randkcnf_3_50_100_015.cnf : 1.5 KB
  177. cnf/sat/cnfgen_randkcnf_3_50_100_006.cnf : 1.5 KB
  178. cnf/sat/cnfgen_randkcnf_3_50_100_074.cnf : 1.4 KB
  179. cnf/sat/cnfgen_randkcnf_3_50_100_045.cnf : 1.4 KB
  180. cnf/sat/cnfgen_randkcnf_3_50_100_036.cnf : 1.4 KB
  181. cnf/sat/cnfgen_randkcnf_3_50_100_010.cnf : 1.4 KB
  182. cnf/sat/cnfgen_randkcnf_3_50_100_080.cnf : 1.4 KB
  183. cnf/sat/cnfgen_randkcnf_3_50_100_066.cnf : 1.4 KB
  184. cnf/sat/cnfgen_randkcnf_3_50_100_026.cnf : 1.4 KB
  185. cnf/sat/cnfgen_randkcnf_3_50_100_019.cnf : 1.4 KB
  186. cnf/sat/cnfgen_randkcnf_3_50_100_087.cnf : 1.4 KB
  187. cnf/sat/cnfgen_randkcnf_3_50_100_082.cnf : 1.4 KB
  188. cnf/sat/cnfgen_randkcnf_3_50_100_047.cnf : 1.4 KB
  189. cnf/sat/cnfgen_randkcnf_3_50_100_034.cnf : 1.4 KB
  190. cnf/sat/cnfgen_randkcnf_3_50_100_024.cnf : 1.4 KB
  191. cnf/sat/cnfgen_randkcnf_3_50_100_069.cnf : 1.4 KB
  192. cnf/sat/cnfgen_randkcnf_3_50_100_054.cnf : 1.4 KB
  193. cnf/sat/cnfgen_randkcnf_3_50_100_032.cnf : 1.4 KB
  194. cnf/sat/cnfgen_randkcnf_3_50_100_099.cnf : 1.4 KB
  195. cnf/sat/cnfgen_randkcnf_3_50_100_063.cnf : 1.4 KB
  196. cnf/sat/cnfgen_randkcnf_3_50_100_050.cnf : 1.4 KB
  197. cnf/sat/cnfgen_randkcnf_3_50_100_097.cnf : 1.4 KB
  198. cnf/sat/cnfgen_randkcnf_3_50_100_067.cnf : 1.4 KB
  199. cnf/sat/cnfgen_randkcnf_3_50_100_017.cnf : 1.4 KB
  200. cnf/sat/cnfgen_randkcnf_3_50_100_095.cnf : 1.4 KB
  201. cnf/sat/cnfgen_randkcnf_3_50_100_042.cnf : 1.4 KB
  202. cnf/sat/cnfgen_randkcnf_3_50_100_033.cnf : 1.4 KB
  203. cnf/sat/cnfgen_randkcnf_3_50_100_051.cnf : 1.4 KB
  204. cnf/sat/cnfgen_randkcnf_3_50_100_088.cnf : 1.4 KB
  205. cnf/sat/cnfgen_randkcnf_3_50_100_085.cnf : 1.4 KB
  206. cnf/sat/cnfgen_randkcnf_3_50_100_028.cnf : 1.4 KB
  207. cnf/sat/cnfgen_randkcnf_3_50_100_070.cnf : 1.4 KB
  208. cnf/sat/cnfgen_randkcnf_3_50_100_057.cnf : 1.4 KB
  209. cnf/sat/cnfgen_randkcnf_3_50_100_053.cnf : 1.4 KB
  210. cnf/sat/cnfgen_randkcnf_3_50_100_023.cnf : 1.4 KB
  211. cnf/sat/cnfgen_randkcnf_3_50_100_022.cnf : 1.4 KB
  212. cnf/sat/cnfgen_randkcnf_3_50_100_046.cnf : 1.4 KB
  213. cnf/sat/cnfgen_randkcnf_3_50_100_000.cnf : 1.4 KB
  214. cnf/sat/cnfgen_randkcnf_3_50_100_083.cnf : 1.4 KB
  215. cnf/sat/cnfgen_randkcnf_3_50_100_096.cnf : 1.4 KB
  216. cnf/sat/cnfgen_randkcnf_3_50_100_065.cnf : 1.4 KB
  217. cnf/sat/cnfgen_randkcnf_3_50_100_037.cnf : 1.4 KB
  218. cnf/sat/cnfgen_randkcnf_3_50_100_052.cnf : 1.4 KB
  219. cnf/unsat/cnfgen_tseitin_10.cnf : 1.4 KB
  220. cnf/unsat/cnfgen_subsetcard_10.cnf : 1.4 KB
  221. cnf/unsat/cnfgen_subsetcard_5.cnf : 902 B
  222. .gitignore : 434 B
  223. cnf/unsat/cnfgen_count_4_3.cnf : 378 B
  224. cnf/sat/cnfgen_count_4_2.cnf : 378 B
  225. examples/unsat.cnf : 112 B
  226. cnf/unsat/unsat.cnf : 112 B
  227. .gitattributes : 102 B
  228. examples/sat.cnf : 72 B
  229. cnf/sat/sat.cnf : 72 B
  230. cnf/sat/redundant_sat.cnf : 63 B
  231. cnf/unsat/obvious_unsat.cnf : 42 B
  232. cnf/unsat/obvious_propagate_unsat.cnf : 26 B