Ugly Alpha 1
clingo-sys:0.1.1

total uncompressed bytes

11.9 MB

total files

687

Fix

NewInclude { include: [ "**/*.rs", "clingo/*", "generated/input/groundtermgrammar/*", "generated/input/nongroundgrammar/*", "generated/*", "!**/*.gif", "!**/tests/*", "!**/example/*", "!**/examples/*", ], has_build_script: true, }

446 wasted files

total waste: 7.6 MB

  1. clingo/examples/gringo/gbie/instances/sat_02.lp : 1.4 MB
  2. clingo/examples/gringo/gbie/instances/unsat_02.lp : 1.2 MB
  3. clingo/examples/gringo/gbie/instances/sat_03.lp : 1.2 MB
  4. clingo/libclingo/tests/catch.hpp : 378.7 KB
  5. clingo/libgringo/tests/catch.hpp : 378.1 KB
  6. clingo/libreify/tests/catch.hpp : 378.1 KB
  7. clingo/liblp/tests/catch.hpp : 336.0 KB
  8. clingo/libgringo/tests/output/aspcomp13.cc : 144.1 KB
  9. clingo/app/clingo/tests/lua/conformant3.sol : 117.7 KB
  10. clingo/app/clingo/tests/python/queens.sol : 82.1 KB
  11. clingo/app/clingo/tests/lua/queens.sol : 82.1 KB
  12. clingo/libgringo/tests/input/nongroundgrammar.cc : 55.8 KB
  13. clingo/libgringo/tests/output/lparse.cc : 52.2 KB
  14. clingo/libgringo/tests/ground/instantiation.cc : 45.2 KB
  15. clingo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp : 33.0 KB
  16. clingo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp : 31.7 KB
  17. clingo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp : 31.3 KB
  18. clingo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp : 30.1 KB
  19. clingo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp : 29.7 KB
  20. clingo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp : 29.5 KB
  21. clingo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp : 29.5 KB
  22. clingo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp : 29.4 KB
  23. clingo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp : 28.9 KB
  24. clingo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp : 28.9 KB
  25. clingo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp : 28.2 KB
  26. clingo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp : 27.0 KB
  27. clingo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp : 26.3 KB
  28. clingo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp : 26.1 KB
  29. clingo/libgringo/tests/input/aggregate.cc : 25.0 KB
  30. clingo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp : 24.6 KB
  31. clingo/libclingo/tests/clingo.cc : 24.2 KB
  32. clingo/liblp/tests/smodels.cpp : 23.7 KB
  33. clingo/libclingo/tests/propagator.cc : 23.2 KB
  34. clingo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp : 22.4 KB
  35. clingo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp : 21.9 KB
  36. clingo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp : 21.8 KB
  37. clingo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp : 21.5 KB
  38. clingo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp : 20.9 KB
  39. clingo/examples/clingo/robots/visualize.py : 19.7 KB
  40. clingo/examples/clingo/planning/instances/comm05.lp : 19.6 KB
  41. clingo/libgringo/tests/term.cc : 19.1 KB
  42. clingo/liblp/tests/aspif.cpp : 18.8 KB
  43. clingo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp : 15.2 KB
  44. clingo/libgringo/tests/input/programbuilder.cc : 14.6 KB
  45. clingo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp : 14.5 KB
  46. clingo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp : 14.5 KB
  47. clingo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp : 14.5 KB
  48. clingo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp : 14.5 KB
  49. clingo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp : 14.5 KB
  50. clingo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp : 14.5 KB
  51. clingo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp : 14.4 KB
  52. clingo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp : 14.4 KB
  53. clingo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp : 14.4 KB
  54. clingo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp : 14.4 KB
  55. clingo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp : 14.4 KB
  56. clingo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp : 14.4 KB
  57. clingo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp : 14.4 KB
  58. clingo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp : 14.4 KB
  59. clingo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp : 14.4 KB
  60. clingo/libclingo/tests/ast.cc : 13.8 KB
  61. clingo/app/clingo/tests/lua/conformant1.sol : 13.7 KB
  62. clingo/app/clingo/tests/lua/conformant3.lp : 13.6 KB
  63. clingo/app/clingo/tests/lua/conformant1.lp : 13.0 KB
  64. clingo/libgringo/tests/input/program.cc : 13.0 KB
  65. clingo/examples/clingo/planning/instances/comm03.lp : 12.5 KB
  66. clingo/libgringo/tests/intervals.cc : 12.1 KB
  67. clingo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp : 11.9 KB
  68. clingo/examples/c/propagator.c : 11.4 KB
  69. clingo/libgringo/tests/input/literal.cc : 11.2 KB
  70. clingo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp : 11.2 KB
  71. clingo/examples/reify/example2.lp : 10.4 KB
  72. clingo/libgringo/tests/ground/program.cc : 9.9 KB
  73. clingo/app/clingo/tests/lua/propagator.lp : 9.8 KB
  74. clingo/examples/clingo/blocksworld/control_01.out : 9.5 KB
  75. clingo/examples/clingo/planning/instances/comm02.lp : 9.4 KB
  76. clingo/libgringo/tests/tests.hh : 9.3 KB
  77. clingo/libgringo/tests/utility.cc : 9.2 KB
  78. clingo/libgringo/tests/output/incremental.cc : 9.0 KB
  79. clingo/libgringo/tests/ground/literal.cc : 8.9 KB
  80. clingo/libgringo/tests/ground/theory.cc : 8.8 KB
  81. clingo/libgringo/tests/symbol.cc : 8.5 KB
  82. clingo/examples/clingo/planning/instances/coins01.lp : 8.4 KB
  83. clingo/app/clingo/tests/lp/subset.sol : 8.3 KB
  84. clingo/app/clingo/tests/python/propagator.lp : 8.1 KB
  85. clingo/libgringo/tests/ground/dependency.cc : 7.8 KB
  86. clingo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp : 7.6 KB
  87. clingo/libgringo/tests/output/theory.cc : 7.3 KB
  88. clingo/app/clingo/tests/lua/blocksworld1.lp : 7.2 KB
  89. clingo/app/clingo/tests/lua/solitaire_sort.lp : 7.2 KB
  90. clingo/app/clingo/tests/python/blocksworld1.lp : 7.2 KB
  91. clingo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp : 6.8 KB
  92. clingo/app/clingo/tests/lua/conformant2.lp : 6.6 KB
  93. clingo/app/clingo/tests/lua/robots.lp : 6.6 KB
  94. clingo/app/clingo/tests/python/ast.lp : 6.6 KB
  95. clingo/app/clingo/tests/lua/sokoban_para.sol : 6.5 KB
  96. clingo/libgringo/tests/output/warnings.cc : 6.2 KB
  97. clingo/examples/c/ast.c : 6.2 KB
  98. clingo/examples/clingo/unblock/visualize.py : 6.0 KB
  99. clingo/libgringo/tests/lua.cc : 5.6 KB
  100. clingo/libgringo/tests/python.cc : 5.6 KB
  101. clingo/examples/c/statistics.c : 5.6 KB
  102. clingo/examples/clingo/controller-threads/controller.py : 5.4 KB
  103. clingo/app/clingo/tests/python/project.lp : 5.3 KB
  104. clingo/app/clingo/tests/lua/solitaire_para.sol : 5.3 KB
  105. clingo/app/clingo/tests/run.py : 5.3 KB
  106. clingo/examples/clingo/solitaire/visualize.py : 5.2 KB
  107. clingo/examples/clingo/blocksworld/world.lp : 5.2 KB
  108. clingo/liblp/tests/text.cpp : 5.0 KB
  109. clingo/app/clingo/tests/lua/mutex-bug.lp : 4.8 KB
  110. clingo/libgringo/tests/output/solver_helper.hh : 4.7 KB
  111. clingo/examples/c/model.c : 4.6 KB
  112. clingo/examples/test.sh : 4.6 KB
  113. clingo/app/clingo/tests/python/ast2.lp : 4.6 KB
  114. clingo/app/clingo/tests/lua/sokoban_para.lp : 4.5 KB
  115. clingo/app/clingo/tests/python/ast3.lp : 4.4 KB
  116. clingo/examples/c/theory-atoms.c : 4.3 KB
  117. clingo/examples/c/backend.c : 4.3 KB
  118. clingo/libreify/tests/program.cc : 4.3 KB
  119. clingo/examples/clingo/controller-async/controller.py : 4.3 KB
  120. clingo/app/clingo/tests/lua/sokoban_back.lp : 4.1 KB
  121. clingo/examples/reify/metaD.lp : 4.1 KB
  122. clingo/app/clingo/tests/lua/solitaire_sort.sol : 4.0 KB
  123. clingo/examples/reify/metaO.lp : 4.0 KB
  124. clingo/app/clingo/tests/lua/solitaire_para.lp : 3.8 KB
  125. clingo/libgringo/tests/term_helper.hh : 3.7 KB
  126. clingo/app/clingo/tests/python/test.sol : 3.7 KB
  127. clingo/examples/c/configuration.c : 3.6 KB
  128. clingo/app/clingo/tests/lua/test.sol : 3.6 KB
  129. clingo/libgringo/tests/ground/grounder_helper.hh : 3.6 KB
  130. clingo/examples/c/solve-async.c : 3.6 KB
  131. clingo/examples/clingo/expansion/main.py : 3.6 KB
  132. clingo/libgringo/tests/input/nongroundlexer.cc : 3.5 KB
  133. clingo/libclingo/tests/symbol.cc : 3.4 KB
  134. clingo/examples/clingo/controller-processes/server.py : 3.3 KB
  135. clingo/examples/clingo/planning/encoding.lp : 3.2 KB
  136. clingo/examples/c/symbolic-atoms.c : 3.2 KB
  137. clingo/app/clingo/tests/lua/sokoban.lp : 3.2 KB
  138. clingo/libgringo/tests/input/aggregate_helper.hh : 3.0 KB
  139. clingo/libgringo/tests/input/lit_helper.hh : 3.0 KB
  140. clingo/app/clingo/tests/python/blocksworld1.sol : 2.9 KB
  141. clingo/app/clingo/tests/lua/blocksworld1.sol : 2.9 KB
  142. clingo/examples/c/solve-iteratively.c : 2.9 KB
  143. clingo/examples/clingo/blocksworld/lua.lp : 2.9 KB
  144. clingo/libgringo/tests/graph.cc : 2.8 KB
  145. clingo/examples/c/symbol.c : 2.8 KB
  146. clingo/libgringo/tests/safetycheck.cc : 2.7 KB
  147. clingo/app/clingo/tests/lua/cover-lua.lp : 2.7 KB
  148. clingo/app/clingo/tests/lp/bio.sol : 2.6 KB
  149. clingo/examples/c/control.c : 2.6 KB
  150. clingo/examples/gringo/rec-cond/encoding.lp : 2.4 KB
  151. clingo/app/clingo/tests/python/sokoban.lp : 2.4 KB
  152. clingo/examples/clingo/controller-processes/client.py : 2.4 KB
  153. clingo/libgringo/tests/input/parse_term.cc : 2.4 KB
  154. clingo/app/clingo/tests/python/cover-py.lp : 2.3 KB
  155. clingo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp : 2.3 KB
  156. clingo/liblp/tests/common.h : 2.3 KB
  157. clingo/examples/gringo/ast/visitor.lp : 2.2 KB
  158. clingo/app/clingo/tests/lua/toh.lp : 2.2 KB
  159. clingo/examples/reify/meta.lp : 2.2 KB
  160. clingo/examples/gringo/rec-cond/instance.lp : 2.0 KB
  161. clingo/examples/clingo/robots/board.lp : 1.9 KB
  162. clingo/examples/clingo/cover/control-lua.lp : 1.9 KB
  163. clingo/libclingo/tests/variant.cc : 1.8 KB
  164. clingo/libgringo/tests/unique_vec.cc : 1.8 KB
  165. clingo/examples/clingo/robots/img/tile_right.gif : 1.8 KB
  166. clingo/examples/clingo/robots/img/tile_left.gif : 1.7 KB
  167. clingo/app/clingo/tests/lua/sokoban.sol : 1.7 KB
  168. clingo/examples/clingo/unblock/unblock.lp : 1.7 KB
  169. clingo/examples/gringo/gbie/gbie1.lp : 1.7 KB
  170. clingo/libclingo/tests/tests.hh : 1.7 KB
  171. clingo/examples/clingo/planning/instances/uts01.lp : 1.7 KB
  172. clingo/examples/clingo/cover/control-py.lp : 1.6 KB
  173. clingo/examples/clingo/expansion/README : 1.6 KB
  174. clingo/app/clingo/tests/lua/sokoban_back.sol : 1.6 KB
  175. clingo/examples/clingo/setconf/setconf-lua.lp : 1.6 KB
  176. clingo/app/example/main.cc : 1.6 KB
  177. clingo/examples/clingo/setconf/setconf-py.lp : 1.5 KB
  178. clingo/app/clingo/tests/lua/theory.lp : 1.5 KB
  179. clingo/examples/clingo/robots/img/random_robot.gif : 1.4 KB
  180. clingo/app/clingo/tests/python/sokoban.sol : 1.3 KB
  181. clingo/app/clingo/tests/python/test.lp : 1.2 KB
  182. clingo/examples/clingo/solitaire/README : 1.2 KB
  183. clingo/app/clingo/tests/lua/conformant2.sol : 1.2 KB
  184. clingo/app/clingo/tests/lua/test.lp : 1.2 KB
  185. clingo/examples/clingo/robots/img/wall_west.gif : 1.2 KB
  186. clingo/examples/clingo/iclingo/incmode-lua.lp : 1.2 KB
  187. clingo/examples/clingo/onmodel/onmodel-lua.lp : 1.2 KB
  188. clingo/examples/clingo/robots/img/sun_green.gif : 1.2 KB
  189. clingo/examples/clingo/planning/convert.lp : 1.1 KB
  190. clingo/examples/clingo/robots/img/sun_blue.gif : 1.1 KB
  191. clingo/examples/clingo/robots/img/sun_red.gif : 1.1 KB
  192. clingo/examples/clingo/robots/img/sun_yellow.gif : 1.1 KB
  193. clingo/examples/clingo/robots/img/robot_green.gif : 1.1 KB
  194. clingo/examples/clingo/robots/img/moon_green.gif : 1.1 KB
  195. clingo/examples/clingo/robots/img/wall_north.gif : 1.1 KB
  196. clingo/examples/clingo/robots/img/moon_blue.gif : 1.1 KB
  197. clingo/examples/clingo/robots/img/moon_red.gif : 1.1 KB
  198. clingo/examples/clingo/robots/img/moon_yellow.gif : 1.1 KB
  199. clingo/app/clingo/tests/lua/show.lp : 1.1 KB
  200. clingo/examples/clingo/iclingo/incmode-py.lp : 1.1 KB
  201. clingo/examples/clingo/planning/planning-lua.lp : 1.0 KB
  202. clingo/app/clingo/tests/lua/domain.lp : 1.0 KB
  203. clingo/examples/clingo/solitaire/solitaire.lp : 996 B
  204. clingo/app/clingo/tests/python/show.lp : 970 B
  205. clingo/app/clingo/tests/python/domain.lp : 954 B
  206. clingo/app/clingo/tests/lua/icolor.lp : 953 B
  207. clingo/examples/clingo/robots/robots.lp : 946 B
  208. clingo/examples/clingo/onmodel/onmodel-py.lp : 937 B
  209. clingo/examples/gringo/gbie/gbie2.lp : 933 B
  210. clingo/examples/clingo/incqueens/incqueens.lp : 857 B
  211. clingo/examples/reify/README : 857 B
  212. clingo/app/clingo/tests/lua/queens.lp : 840 B
  213. clingo/examples/clingo/robots/img/saturn_green.gif : 825 B
  214. clingo/libgringo/tests/main.cc : 821 B
  215. clingo/libclingo/tests/main.cc : 812 B
  216. clingo/examples/clingo/consequences/brave-lua.lp : 812 B
  217. clingo/app/clingo/tests/python/queens.lp : 808 B
  218. clingo/examples/clingo/domains/domains-lua.lp : 807 B
  219. clingo/app/clingo/tests/python/project.sol : 803 B
  220. clingo/app/clingo/tests/python/ast2.sol : 778 B
  221. clingo/app/clingo/tests/lua/robots.sol : 776 B
  222. clingo/examples/clingo/robots/img/saturn_red.gif : 763 B
  223. clingo/examples/clingo/robots/img/saturn_blue.gif : 763 B
  224. clingo/examples/clingo/robots/img/saturn_yellow.gif : 763 B
  225. clingo/examples/clingo/robots/img/star_green.gif : 757 B
  226. clingo/examples/clingo/robots/img/star_yellow.gif : 723 B
  227. clingo/examples/clingo/robots/img/star_blue.gif : 721 B
  228. clingo/examples/clingo/robots/img/star_red.gif : 721 B
  229. clingo/examples/clingo/robots/img/arrow_green_south.gif : 714 B
  230. clingo/examples/clingo/dot-propagator/dot.lp : 711 B
  231. clingo/examples/clingo/robots/img/arrow_green_north.gif : 704 B
  232. clingo/app/clingo/tests/python/ast3.sol : 699 B
  233. clingo/examples/clingo/robots/img/arrow_green_east.gif : 697 B
  234. clingo/examples/clingo/domains/domains-py.lp : 694 B
  235. clingo/app/clingo/tests/lp/bio.lp : 692 B
  236. clingo/examples/clingo/robots/img/arrow_green_west.gif : 690 B
  237. clingo/examples/clingo/robots/img/robot_blue.gif : 687 B
  238. clingo/examples/clingo/robots/img/robot_red.gif : 687 B
  239. clingo/examples/clingo/robots/img/robot_yellow.gif : 685 B
  240. clingo/examples/clingo/robots/img/arrow_blue_east.gif : 680 B
  241. clingo/examples/clingo/robots/img/arrow_red_east.gif : 680 B
  242. clingo/examples/clingo/robots/img/arrow_yellow_east.gif : 680 B
  243. clingo/app/clingo/tests/lua/toh.sol : 679 B
  244. clingo/examples/clingo/robots/img/arrow_red_west.gif : 679 B
  245. clingo/examples/clingo/robots/img/arrow_yellow_west.gif : 679 B
  246. clingo/examples/clingo/robots/img/arrow_blue_west.gif : 679 B
  247. clingo/app/clingo/tests/python/tag.lp : 677 B
  248. clingo/app/clingo/tests/python/show.sol : 660 B
  249. clingo/app/clingo/tests/lua/show.sol : 660 B
  250. clingo/examples/clingo/robots/img/arrow_yellow_south.gif : 658 B
  251. clingo/examples/clingo/robots/img/move_green_south.gif : 657 B
  252. clingo/examples/clingo/robots/img/arrow_red_south.gif : 657 B
  253. clingo/examples/clingo/robots/img/arrow_blue_south.gif : 657 B
  254. clingo/examples/clingo/robots/img/move_green_west.gif : 653 B
  255. clingo/examples/clingo/robots/img/move_blue_west.gif : 647 B
  256. clingo/examples/clingo/robots/img/move_red_west.gif : 647 B
  257. clingo/app/clingo/tests/lua/inccsp-onmodel.lp : 644 B
  258. clingo/examples/clingo/robots/img/move_yellow_west.gif : 643 B
  259. clingo/examples/clingo/robots/img/arrow_blue_north.gif : 643 B
  260. clingo/examples/clingo/robots/img/arrow_red_north.gif : 643 B
  261. clingo/examples/clingo/unblock/inst5.lp : 643 B
  262. clingo/examples/clingo/robots/img/arrow_yellow_north.gif : 640 B
  263. clingo/examples/clingo/robots/img/move_green_north.gif : 639 B
  264. clingo/examples/clingo/robots/img/move_blue_east.gif : 637 B
  265. clingo/examples/clingo/robots/img/move_blue_north.gif : 634 B
  266. clingo/examples/clingo/robots/img/move_red_north.gif : 634 B
  267. clingo/examples/clingo/robots/img/move_yellow_east.gif : 631 B
  268. clingo/examples/clingo/robots/img/move_yellow_north.gif : 631 B
  269. clingo/examples/clingo/robots/img/move_yellow_south.gif : 627 B
  270. clingo/examples/clingo/robots/img/move_red_south.gif : 627 B
  271. clingo/examples/clingo/robots/img/move_blue_south.gif : 627 B
  272. clingo/examples/clingo/robots/img/move_green_east.gif : 624 B
  273. clingo/examples/clingo/robots/img/move_red_east.gif : 616 B
  274. clingo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp : 613 B
  275. clingo/app/clingo/tests/python/ast.sol : 590 B
  276. clingo/examples/clingo/solitaire/instance.lp : 550 B
  277. clingo/examples/clingo/enum-assumption/example-lua.lp : 544 B
  278. clingo/examples/clingo/enum-assumption/example-py.lp : 534 B
  279. clingo/examples/clingo/robots/README : 530 B
  280. clingo/examples/clingo/blocksworld/README : 526 B
  281. clingo/examples/clingo/incqueens/incqueens-lua.lp : 514 B
  282. clingo/examples/gringo/toh/tohE.lp : 504 B
  283. clingo/examples/clingo/pydoc/pydoc.lp : 499 B
  284. clingo/examples/gringo/gbie/instances/unsat_01.lp : 495 B
  285. clingo/examples/gringo/queens/queens2.lp : 492 B
  286. clingo/app/clingo/tests/lua/iclingo.lp : 485 B
  287. clingo/examples/clingo/consequences/brave-py.lp : 475 B
  288. clingo/examples/clingo/pydoc/pydoc-lib.py : 473 B
  289. clingo/examples/clingo/context/context-lua.lp : 461 B
  290. clingo/examples/clingo/solve-async/solve-async-py.lp : 455 B
  291. clingo/app/clingo/tests/python/setconfig.lp : 448 B
  292. clingo/app/clingo/tests/python/interrupt.lp : 445 B
  293. clingo/examples/clingo/load/load-lua.lp : 445 B
  294. clingo/app/clingo/tests/lua/setconfig.lp : 438 B
  295. clingo/examples/clingo/incqueens/incqueens-py.lp : 437 B
  296. clingo/app/clingo/tests/python/iclingo.lp : 436 B
  297. clingo/app/clingo/tests/lua/assumptions4.lp : 434 B
  298. clingo/examples/clingo/iclingo/README : 428 B
  299. clingo/examples/clingo/addclause/addclause-py.lp : 423 B
  300. clingo/examples/gringo/queens/queens1.lp : 418 B
  301. clingo/examples/clingo/addclause/addclause-lua.lp : 417 B
  302. clingo/examples/clingo/stats/stats-lua.lp : 412 B
  303. clingo/examples/clingo/onmodel/README : 401 B
  304. clingo/app/clingo/tests/lua/theory-term-types.lp : 388 B
  305. clingo/examples/gringo/gbie/instances/sat_01.lp : 387 B
  306. clingo/examples/clingo/context/context-py.lp : 376 B
  307. clingo/examples/clingo/load/load-py.lp : 372 B
  308. clingo/examples/gringo/gbie/README : 370 B
  309. clingo/app/clingo/tests/python/externals.lp : 365 B
  310. clingo/app/clingo/tests/lua/externals.lp : 357 B
  311. clingo/examples/clingo/stats/README : 353 B
  312. clingo/app/clingo/tests/python/assumptions4.lp : 352 B
  313. clingo/examples/clingo/unblock/README : 342 B
  314. clingo/examples/clingo/external/external-py.lp : 341 B
  315. clingo/examples/clingo/external/external-lua.lp : 332 B
  316. clingo/examples/clingo/controller-processes/README : 328 B
  317. clingo/examples/clingo/itersolve/itersolve-lua.lp : 328 B
  318. clingo/app/clingo/tests/python/domain.sol : 324 B
  319. clingo/app/clingo/tests/lua/domain.sol : 324 B
  320. clingo/examples/clingo/enum-assumption/README : 316 B
  321. clingo/examples/clingo/blocksworld/blocks_01.lp : 315 B
  322. clingo/examples/clingo/stats/stats-py.lp : 315 B
  323. clingo/app/clingo/tests/python/assumptions3.lp : 313 B
  324. clingo/examples/clingo/commit/commit-lua.lp : 311 B
  325. clingo/examples/clingo/cover/preprocess.lp : 307 B
  326. clingo/examples/clingo/incqueens/README : 304 B
  327. clingo/examples/clingo/unblock/inst2.lp : 301 B
  328. clingo/examples/clingo/blocksworld/lua_interpret.lp : 298 B
  329. clingo/app/clingo/tests/lua/assumptions3.lp : 297 B
  330. clingo/examples/clingo/controller-threads/README : 297 B
  331. clingo/examples/clingo/commit/commit-py.lp : 294 B
  332. clingo/examples/clingo/controller-async/client.lp : 283 B
  333. clingo/examples/clingo/controller-processes/client.lp : 283 B
  334. clingo/examples/clingo/controller-threads/client.lp : 283 B
  335. clingo/examples/clingo/controller-async/README : 270 B
  336. clingo/app/clingo/tests/lp/subset.lp : 263 B
  337. clingo/app/clingo/tests/lua/csp-shrinking.sol : 262 B
  338. clingo/examples/clingo/dot-propagator/README : 257 B
  339. clingo/examples/c/version.c : 245 B
  340. clingo/examples/clingo/unblock/inst1.lp : 244 B
  341. clingo/examples/clingo/domains/README : 243 B
  342. clingo/app/clingo/tests/python/parse-term.lp : 240 B
  343. clingo/examples/clingo/planning/README : 240 B
  344. clingo/app/clingo/tests/lua/parse-term.lp : 231 B
  345. clingo/examples/clingo/commit/README : 225 B
  346. clingo/examples/clingo/solve-async/README : 222 B
  347. clingo/examples/clingo/context/README : 220 B
  348. clingo/app/clingo/tests/lp/show.sol : 216 B
  349. clingo/app/clingo/tests/lua/csp-shrinking.lp : 206 B
  350. clingo/examples/gringo/toh/README : 201 B
  351. clingo/examples/clingo/cover/cover.lp : 200 B
  352. clingo/examples/clingo/cover/README : 197 B
  353. clingo/examples/clingo/unblock/inst4.lp : 195 B
  354. clingo/app/clingo/tests/lp/show.lp : 194 B
  355. clingo/examples/gringo/ast/README : 186 B
  356. clingo/examples/clingo/consequences/README : 184 B
  357. clingo/app/clingo/tests/python/assumptions1.lp : 178 B
  358. clingo/app/clingo/tests/python/assumptions2.lp : 178 B
  359. clingo/examples/gringo/subset/README : 178 B
  360. clingo/examples/clingo/iclingo/example.lp : 178 B
  361. clingo/examples/clingo/unblock/inst3.lp : 178 B
  362. clingo/examples/gringo/acyc/encoding.lp : 177 B
  363. clingo/app/clingo/tests/lua/project_bug.lp : 175 B
  364. clingo/liblp/tests/CMakeLists.txt : 170 B
  365. clingo/app/clingo/tests/python/cover-py.sol : 165 B
  366. clingo/app/clingo/tests/lua/cover-lua.sol : 165 B
  367. clingo/examples/clingo/load/README : 162 B
  368. clingo/app/clingo/tests/lua/theory.sol : 158 B
  369. clingo/app/clingo/tests/python/propagator.sol : 157 B
  370. clingo/app/clingo/tests/lua/propagator.sol : 157 B
  371. clingo/app/clingo/tests/lua/inccsp-onmodel.sol : 156 B
  372. clingo/app/clingo/tests/lua/inccsp.sol : 156 B
  373. clingo/examples/clingo/consequences/example.lp : 156 B
  374. clingo/examples/clingo/itersolve/itersolve-py.lp : 155 B
  375. clingo/examples/clingo/include/encoding-lua.lp : 151 B
  376. clingo/examples/clingo/itersolve/README : 147 B
  377. clingo/examples/clingo/include/encoding-py.lp : 146 B
  378. clingo/examples/clingo/cover/instance.lp : 146 B
  379. clingo/examples/clingo/addclause/README : 144 B
  380. clingo/app/clingo/tests/lua/assumptions1.lp : 143 B
  381. clingo/app/clingo/tests/lua/assumptions2.lp : 143 B
  382. clingo/examples/clingo/blocksworld/control_01.lua : 142 B
  383. clingo/examples/reify/example1.lp : 138 B
  384. clingo/examples/clingo/setconf/README : 137 B
  385. clingo/examples/clingo/external/external.lp : 137 B
  386. clingo/app/clingo/tests/lua/incshow.sol : 136 B
  387. clingo/app/clingo/tests/lua/inccsp.lp : 129 B
  388. clingo/examples/clingo/include/README : 127 B
  389. clingo/examples/clingo/external/README : 123 B
  390. clingo/liblp/tests/main.cpp : 119 B
  391. clingo/app/clingo/tests/lua/incshow.lp : 118 B
  392. clingo/examples/clingo/pydoc/README : 117 B
  393. clingo/app/clingo/tests/lua/unsat-sync.lp : 113 B
  394. clingo/examples/gringo/rec-cond/README : 112 B
  395. clingo/examples/gringo/queens/README : 108 B
  396. clingo/examples/gringo/subset/example.lp : 104 B
  397. clingo/examples/gringo/project/README : 94 B
  398. clingo/examples/gringo/acyc/README : 92 B
  399. clingo/examples/clingo/dot-propagator/test.lp : 88 B
  400. clingo/examples/clingo/planning/convert.sh : 88 B
  401. clingo/examples/clingo/solve-async/program.lp : 82 B
  402. clingo/examples/gringo/ast/example.lp : 81 B
  403. clingo/app/clingo/tests/lua/theory-term-types.sol : 80 B
  404. clingo/app/clingo/tests/python/iclingo.sol : 76 B
  405. clingo/app/clingo/tests/lua/iclingo.sol : 76 B
  406. clingo/examples/gringo/toh/tohI.lp : 74 B
  407. clingo/app/clingo/tests/lp/project.lp : 63 B
  408. clingo/examples/clingo/commit/encoding.lp : 63 B
  409. clingo/examples/clingo/stats/example.lp : 54 B
  410. clingo/examples/gringo/acyc/instance.lp : 53 B
  411. clingo/examples/gringo/project/example.lp : 51 B
  412. clingo/examples/clingo/domains/instance.lp : 51 B
  413. clingo/app/clingo/tests/python/setconfig.sol : 47 B
  414. clingo/app/clingo/tests/lua/setconfig.sol : 47 B
  415. clingo/libreify/tests/main.cc : 47 B
  416. clingo/app/clingo/tests/python/interrupt.sol : 44 B
  417. clingo/app/clingo/tests/python/externals.sol : 43 B
  418. clingo/app/clingo/tests/lua/externals.sol : 43 B
  419. clingo/app/clingo/tests/python/assumptions4.sol : 40 B
  420. clingo/app/clingo/tests/python/parse-term.sol : 40 B
  421. clingo/app/clingo/tests/lua/assumptions4.sol : 40 B
  422. clingo/app/clingo/tests/lua/parse-term.sol : 40 B
  423. clingo/app/clingo/tests/lua/icolor.sol : 40 B
  424. clingo/examples/clingo/load/program.lp : 33 B
  425. clingo/app/clingo/tests/lua/mutex-bug.sol : 31 B
  426. clingo/app/clingo/tests/python/assumptions3.sol : 26 B
  427. clingo/app/clingo/tests/lua/assumptions3.sol : 26 B
  428. clingo/app/clingo/tests/python/tag.sol : 23 B
  429. clingo/app/clingo/tests/lp/project.sol : 22 B
  430. clingo/app/clingo/tests/lp/bio.cmd : 22 B
  431. clingo/app/clingo/tests/lua/unsat-sync.sol : 22 B
  432. clingo/app/clingo/tests/lua/project_bug.sol : 21 B
  433. clingo/examples/clingo/iclingo/incmode-int.lp : 20 B
  434. clingo/app/clingo/tests/lp/subset.cmd : 19 B
  435. clingo/app/clingo/tests/python/assumptions2.sol : 16 B
  436. clingo/app/clingo/tests/python/assumptions1.sol : 16 B
  437. clingo/app/clingo/tests/lua/assumptions2.sol : 16 B
  438. clingo/app/clingo/tests/lua/assumptions1.sol : 16 B
  439. clingo/examples/clingo/context/encoding.lp : 14 B
  440. clingo/app/clingo/tests/lp/project.cmd : 10 B
  441. clingo/app/clingo/tests/lua/inccsp-onmodel.cmd : 9 B
  442. clingo/examples/clingo/itersolve/program.lp : 9 B
  443. clingo/app/clingo/tests/python/sokoban.cmd : 6 B
  444. clingo/app/clingo/tests/python/propagator.cmd : 6 B
  445. clingo/app/clingo/tests/lua/propagator.cmd : 6 B
  446. clingo/examples/clingo/include/include.lp : 6 B