Ugly Alpha 1
clingo-sys:0.3.0

total uncompressed bytes

14.5 MB

total files

827

Fix

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

539 wasted files

total waste: 9.4 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/clasp/tests/catch.hpp : 420.6 KB
  5. clingo/clasp/libpotassco/tests/catch.hpp : 415.9 KB
  6. clingo/libclingo/tests/catch.hpp : 378.7 KB
  7. clingo/libreify/tests/catch.hpp : 378.1 KB
  8. clingo/libgringo/tests/catch.hpp : 378.1 KB
  9. bindings.rs~ : 269.5 KB
  10. clingo/libgringo/tests/output/aspcomp13.cc : 144.4 KB
  11. clingo/app/clingo/tests/lua/conformant3.sol : 117.7 KB
  12. clingo/doc/api/Doxyfile : 105.3 KB
  13. clingo/clasp/libpotassco/doc/Doxyfile : 105.2 KB
  14. clingo/clasp/doc/api/clasp.doxy : 103.3 KB
  15. clingo/app/clingo/tests/python/queens.sol : 82.1 KB
  16. clingo/app/clingo/tests/lua/queens.sol : 82.1 KB
  17. clingo/clasp/tests/program_builder_test.cpp : 65.3 KB
  18. clingo/libgringo/tests/output/lparse.cc : 63.2 KB
  19. clingo/clasp/tests/solver_test.cpp : 63.0 KB
  20. clingo/libgringo/tests/input/nongroundgrammar.cc : 56.3 KB
  21. clingo/clasp/tests/facade_test.cpp : 56.0 KB
  22. clingo/libgringo/tests/ground/instantiation.cc : 45.8 KB
  23. clingo/clasp/tests/minimize_test.cpp : 37.5 KB
  24. clingo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp : 33.0 KB
  25. clingo/clasp/tests/parser_test.cpp : 32.3 KB
  26. clingo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp : 31.7 KB
  27. clingo/clasp/tests/clause_test.cpp : 31.5 KB
  28. clingo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp : 31.3 KB
  29. clingo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp : 30.1 KB
  30. clingo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp : 29.7 KB
  31. clingo/clasp/tests/cli_test.cpp : 29.5 KB
  32. clingo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp : 29.5 KB
  33. clingo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp : 29.5 KB
  34. clingo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp : 29.4 KB
  35. clingo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp : 28.9 KB
  36. clingo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp : 28.9 KB
  37. clingo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp : 28.2 KB
  38. clingo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp : 27.0 KB
  39. clingo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp : 26.3 KB
  40. clingo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp : 26.1 KB
  41. clingo/libclingo/tests/clingo.cc : 25.7 KB
  42. clingo/libgringo/tests/input/aggregate.cc : 25.3 KB
  43. clingo/libclingo/tests/propagator.cc : 25.1 KB
  44. clingo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp : 24.6 KB
  45. clingo/clasp/libpotassco/tests/test_smodels.cpp : 24.1 KB
  46. clingo/clasp/tests/decision_heuristic_test.cpp : 23.8 KB
  47. clingo/clasp/tests/weight_constraint_test.cpp : 23.6 KB
  48. clingo/clasp/libpotassco/tests/test_aspif.cpp : 23.4 KB
  49. clingo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp : 22.4 KB
  50. clingo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp : 21.9 KB
  51. clingo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp : 21.8 KB
  52. clingo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp : 21.5 KB
  53. clingo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp : 20.9 KB
  54. clingo/libgringo/tests/term.cc : 19.8 KB
  55. clingo/examples/clingo/robots/visualize.py : 19.8 KB
  56. clingo/examples/clingo/planning/instances/comm05.lp : 19.6 KB
  57. clingo/clasp/tests/rule_test.cpp : 19.4 KB
  58. clingo/clasp/tests/clause_creator_test.cpp : 18.8 KB
  59. clingo/clasp/tests/unfounded_check_test.cpp : 17.8 KB
  60. clingo/clasp/tests/enumerator_test.cpp : 17.2 KB
  61. clingo/clasp/libpotassco/tests/test_string_convert.cpp : 17.2 KB
  62. clingo/clasp/libpotassco/tests/test_text.cpp : 15.9 KB
  63. clingo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp : 15.2 KB
  64. clingo/libgringo/tests/input/programbuilder.cc : 14.9 KB
  65. clingo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp : 14.5 KB
  66. clingo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp : 14.5 KB
  67. clingo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp : 14.5 KB
  68. clingo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp : 14.5 KB
  69. clingo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp : 14.5 KB
  70. clingo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp : 14.5 KB
  71. clingo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp : 14.4 KB
  72. clingo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp : 14.4 KB
  73. clingo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp : 14.4 KB
  74. clingo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp : 14.4 KB
  75. clingo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp : 14.4 KB
  76. clingo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp : 14.4 KB
  77. clingo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp : 14.4 KB
  78. clingo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp : 14.4 KB
  79. clingo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp : 14.4 KB
  80. clingo/libclingo/tests/ast.cc : 14.2 KB
  81. clingo/app/clingo/tests/lua/conformant1.sol : 13.7 KB
  82. clingo/app/clingo/tests/lua/conformant3.lp : 13.6 KB
  83. clingo/libgringo/tests/input/program.cc : 13.4 KB
  84. clingo/app/clingo/tests/lua/conformant1.lp : 13.0 KB
  85. clingo/clasp/libpotassco/tests/test_options.cpp : 13.0 KB
  86. clingo/examples/clingo/planning/instances/comm03.lp : 12.5 KB
  87. clingo/libgringo/tests/intervals.cc : 12.5 KB
  88. clingo/examples/c/propagator.c : 12.1 KB
  89. clingo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp : 11.9 KB
  90. clingo/libgringo/tests/input/literal.cc : 11.6 KB
  91. clingo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp : 11.2 KB
  92. clingo/clasp/tests/dlp_builder_test.cpp : 11.1 KB
  93. clingo/clasp/tests/dependency_graph_test.cpp : 11.0 KB
  94. clingo/examples/reify/example2.lp : 10.4 KB
  95. clingo/libgringo/tests/ground/program.cc : 10.3 KB
  96. clingo/app/clingo/tests/lua/propagator.lp : 9.8 KB
  97. clingo/libgringo/tests/tests.hh : 9.8 KB
  98. clingo/libgringo/tests/utility.cc : 9.5 KB
  99. clingo/examples/clingo/blocksworld/control_01.out : 9.5 KB
  100. clingo/libgringo/tests/output/incremental.cc : 9.4 KB
  101. clingo/examples/clingo/planning/instances/comm02.lp : 9.4 KB
  102. clingo/libgringo/tests/ground/literal.cc : 9.3 KB
  103. clingo/libgringo/tests/ground/theory.cc : 9.2 KB
  104. clingo/libgringo/tests/symbol.cc : 8.8 KB
  105. clingo/examples/clingo/planning/instances/coins01.lp : 8.4 KB
  106. clingo/app/clingo/tests/lp/subset.sol : 8.3 KB
  107. clingo/libgringo/tests/ground/dependency.cc : 8.1 KB
  108. clingo/app/clingo/tests/python/propagator.lp : 8.1 KB
  109. clingo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp : 7.6 KB
  110. clingo/libgringo/tests/output/theory.cc : 7.6 KB
  111. clingo/app/clingo/tests/lua/observer-replace.lp : 7.5 KB
  112. clingo/app/clingo/tests/lua/observer.lp : 7.5 KB
  113. clingo/app/clingo/tests/lua/blocksworld1.lp : 7.2 KB
  114. clingo/app/clingo/tests/lua/solitaire_sort.lp : 7.2 KB
  115. clingo/clasp/libpotassco/tests/test_value.cpp : 7.2 KB
  116. clingo/app/clingo/tests/python/blocksworld1.lp : 7.2 KB
  117. clingo/examples/c/ast.c : 6.9 KB
  118. clingo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp : 6.8 KB
  119. clingo/app/clingo/tests/python/ast.lp : 6.7 KB
  120. clingo/app/clingo/tests/lua/conformant2.lp : 6.6 KB
  121. clingo/libgringo/tests/output/warnings.cc : 6.6 KB
  122. clingo/app/clingo/tests/lua/robots.lp : 6.6 KB
  123. clingo/app/clingo/tests/lua/sokoban_para.sol : 6.5 KB
  124. clingo/examples/c/statistics.c : 6.3 KB
  125. clingo/app/clingo/tests/run.py : 6.2 KB
  126. clingo/doc/api/DoxygenLayout.xml : 6.1 KB
  127. clingo/clasp/libpotassco/doc/layout.xml : 6.1 KB
  128. clingo/clasp/doc/api/layout.xml : 6.1 KB
  129. clingo/examples/clingo/unblock/visualize.py : 6.0 KB
  130. clingo/libgringo/tests/python.cc : 6.0 KB
  131. clingo/clasp/tests/satelite_test.cpp : 6.0 KB
  132. clingo/examples/clingo/dl/difference_logic.py : 5.8 KB
  133. clingo/clasp/tests/literal_test.cpp : 5.8 KB
  134. clingo/app/clingo/tests/python/observer-replace.lp : 5.5 KB
  135. clingo/examples/clingo/controller-threads/controller.py : 5.5 KB
  136. clingo/app/clingo/tests/python/observer.lp : 5.4 KB
  137. clingo/app/clingo/tests/python/project.lp : 5.3 KB
  138. clingo/examples/c/model.c : 5.3 KB
  139. clingo/app/clingo/tests/lua/solitaire_para.sol : 5.3 KB
  140. clingo/examples/clingo/solitaire/visualize.py : 5.2 KB
  141. clingo/examples/clingo/blocksworld/world.lp : 5.2 KB
  142. clingo/examples/c/theory-atoms.c : 5.1 KB
  143. clingo/libgringo/tests/output/solver_helper.hh : 5.0 KB
  144. clingo/examples/c/backend.c : 5.0 KB
  145. clingo/clasp/examples/example1.cpp : 4.8 KB
  146. clingo/app/clingo/tests/lua/mutex-bug.lp : 4.8 KB
  147. clingo/app/clingo/tests/python/ast2.lp : 4.6 KB
  148. clingo/app/clingo/tests/python/observer.sol : 4.5 KB
  149. clingo/app/clingo/tests/lua/observer.sol : 4.5 KB
  150. clingo/app/clingo/tests/lua/sokoban_para.lp : 4.5 KB
  151. clingo/app/clingo/tests/python/ast3.lp : 4.4 KB
  152. clingo/examples/clingo/controller-async/controller.py : 4.3 KB
  153. clingo/examples/c/configuration.c : 4.3 KB
  154. clingo/libreify/tests/program.cc : 4.3 KB
  155. clingo/examples/reify/metaD.lp : 4.1 KB
  156. clingo/app/clingo/tests/lua/sokoban_back.lp : 4.1 KB
  157. clingo/libgringo/tests/term_helper.hh : 4.1 KB
  158. clingo/app/clingo/tests/lua/solitaire_sort.sol : 4.0 KB
  159. clingo/libgringo/tests/input/nongroundlexer.cc : 4.0 KB
  160. clingo/libgringo/tests/ground/grounder_helper.hh : 4.0 KB
  161. clingo/examples/reify/metaO.lp : 4.0 KB
  162. clingo/examples/c/solve-async.c : 3.9 KB
  163. clingo/clasp/libpotassco/tests/test_application.cpp : 3.8 KB
  164. clingo/app/clingo/tests/lua/solitaire_para.lp : 3.8 KB
  165. clingo/libclingo/tests/symbol.cc : 3.8 KB
  166. clingo/app/clingo/tests/python/test.sol : 3.7 KB
  167. clingo/examples/clingo/expansion/main.py : 3.6 KB
  168. clingo/app/clingo/tests/lua/test.sol : 3.6 KB
  169. clingo/app/clingo/tests/lp/aggregates.lp : 3.6 KB
  170. clingo/examples/clingo/controller-processes/server.py : 3.6 KB
  171. clingo/clasp/tests/lpcompare.h : 3.4 KB
  172. clingo/libgringo/tests/input/aggregate_helper.hh : 3.4 KB
  173. clingo/libgringo/tests/input/lit_helper.hh : 3.3 KB
  174. clingo/clasp/libpotassco/doc/potassco-logo.png : 3.3 KB
  175. clingo/clasp/doc/api/potassco-logo.png : 3.3 KB
  176. clingo/examples/c/control.c : 3.3 KB
  177. clingo/examples/clingo/planning/encoding.lp : 3.2 KB
  178. clingo/clasp/examples/example2.cpp : 3.2 KB
  179. clingo/examples/c/symbolic-atoms.c : 3.2 KB
  180. clingo/libgringo/tests/graph.cc : 3.2 KB
  181. clingo/app/clingo/tests/lua/sokoban.lp : 3.2 KB
  182. clingo/libgringo/tests/safetycheck.cc : 3.0 KB
  183. clingo/examples/c/CMakeLists.txt : 3.0 KB
  184. clingo/app/clingo/tests/python/blocksworld1.sol : 2.9 KB
  185. clingo/app/clingo/tests/lua/blocksworld1.sol : 2.9 KB
  186. clingo/examples/clingo/blocksworld/lua.lp : 2.9 KB
  187. clingo/examples/c/symbol.c : 2.8 KB
  188. clingo/libgringo/tests/input/parse_term.cc : 2.7 KB
  189. clingo/clasp/libpotassco/tests/test_common.h : 2.7 KB
  190. clingo/app/clingo/tests/lua/cover-lua.lp : 2.7 KB
  191. clingo/libgringo/tests/CMakeLists.txt : 2.6 KB
  192. clingo/app/clingo/tests/lp/bio.sol : 2.6 KB
  193. clingo/examples/clingo/controller-processes/client.py : 2.6 KB
  194. clingo/clasp/examples/example3.cpp : 2.5 KB
  195. clingo/examples/clingo/cannot/cannot-lua.lp : 2.5 KB
  196. clingo/examples/gringo/rec-cond/encoding.lp : 2.4 KB
  197. clingo/app/clingo/tests/python/sokoban.lp : 2.4 KB
  198. clingo/clasp/examples/main.cpp : 2.3 KB
  199. clingo/clasp/examples/example4.cpp : 2.3 KB
  200. clingo/app/clingo/tests/python/cover-py.lp : 2.3 KB
  201. clingo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp : 2.3 KB
  202. clingo/examples/gringo/ast/visitor.lp : 2.2 KB
  203. clingo/libclingo/tests/tests.hh : 2.2 KB
  204. clingo/app/clingo/tests/lua/toh.lp : 2.2 KB
  205. clingo/examples/reify/meta.lp : 2.2 KB
  206. clingo/libgringo/tests/unique_vec.cc : 2.1 KB
  207. clingo/libclingo/tests/variant.cc : 2.1 KB
  208. clingo/examples/gringo/rec-cond/instance.lp : 2.0 KB
  209. clingo/examples/gringo/prime-implicants/encoding.lp : 2.0 KB
  210. clingo/clasp/tests/test_main.cpp : 2.0 KB
  211. clingo/app/clingo/tests/lp/elevator.lp : 2.0 KB
  212. clingo/examples/clingo/robots/board.lp : 1.9 KB
  213. clingo/examples/clingo/cover/control-lua.lp : 1.9 KB
  214. clingo/examples/clingo/cannot/cannot-py.lp : 1.8 KB
  215. clingo/examples/clingo/robots/img/tile_right.gif : 1.8 KB
  216. clingo/examples/clingo/robots/img/tile_left.gif : 1.7 KB
  217. clingo/app/clingo/tests/lua/sokoban.sol : 1.7 KB
  218. clingo/examples/clingo/unblock/unblock.lp : 1.7 KB
  219. clingo/examples/gringo/gbie/gbie1.lp : 1.7 KB
  220. clingo/examples/clingo/planning/instances/uts01.lp : 1.7 KB
  221. clingo/examples/clingo/cover/control-py.lp : 1.6 KB
  222. clingo/examples/clingo/expansion/README : 1.6 KB
  223. clingo/app/clingo/tests/lua/sokoban_back.sol : 1.6 KB
  224. clingo/examples/clingo/setconf/setconf-lua.lp : 1.6 KB
  225. clingo/examples/clingo/setconf/setconf-py.lp : 1.6 KB
  226. clingo/clasp/examples/example.h : 1.5 KB
  227. clingo/app/clingo/tests/lua/theory.lp : 1.5 KB
  228. clingo/examples/clingo/robots/img/random_robot.gif : 1.4 KB
  229. clingo/examples/cc/inject-terms.cc : 1.4 KB
  230. clingo/clasp/doc/api/clasp.txt : 1.3 KB
  231. clingo/app/clingo/tests/python/sokoban.sol : 1.3 KB
  232. clingo/app/clingo/tests/python/test.lp : 1.3 KB
  233. clingo/doc/api/clingo.css : 1.2 KB
  234. clingo/app/clingo/tests/lua/test.lp : 1.2 KB
  235. clingo/examples/clingo/solitaire/README : 1.2 KB
  236. clingo/app/clingo/tests/lua/conformant2.sol : 1.2 KB
  237. clingo/libclingo/tests/main.cc : 1.2 KB
  238. clingo/libgringo/tests/main.cc : 1.2 KB
  239. clingo/examples/clingo/robots/img/wall_west.gif : 1.2 KB
  240. clingo/examples/clingo/onmodel/onmodel-lua.lp : 1.2 KB
  241. clingo/examples/clingo/iclingo/incmode-lua.lp : 1.2 KB
  242. clingo/examples/clingo/robots/img/sun_green.gif : 1.2 KB
  243. clingo/examples/clingo/planning/convert.lp : 1.1 KB
  244. clingo/examples/clingo/robots/img/sun_red.gif : 1.1 KB
  245. clingo/examples/clingo/robots/img/sun_blue.gif : 1.1 KB
  246. clingo/examples/clingo/robots/img/sun_yellow.gif : 1.1 KB
  247. clingo/examples/clingo/robots/img/robot_green.gif : 1.1 KB
  248. clingo/examples/clingo/robots/img/moon_green.gif : 1.1 KB
  249. clingo/examples/clingo/robots/img/wall_north.gif : 1.1 KB
  250. clingo/examples/clingo/robots/img/moon_red.gif : 1.1 KB
  251. clingo/examples/clingo/robots/img/moon_blue.gif : 1.1 KB
  252. clingo/examples/clingo/robots/img/moon_yellow.gif : 1.1 KB
  253. clingo/app/clingo/tests/lua/show.lp : 1.1 KB
  254. clingo/app/clingo/tests/lua/check-lua.lp : 1.1 KB
  255. clingo/clasp/libpotassco/doc/layout.css : 1.1 KB
  256. clingo/clasp/doc/api/layout.css : 1.1 KB
  257. clingo/examples/clingo/iclingo/incmode-py.lp : 1.1 KB
  258. clingo/examples/clingo/planning/planning-lua.lp : 1.0 KB
  259. clingo/app/clingo/tests/lua/domain.lp : 1.0 KB
  260. clingo/app/clingo/tests/python/check-py.lp : 1.0 KB
  261. clingo/examples/clingo/solitaire/solitaire.lp : 996 B
  262. clingo/app/clingo/tests/python/show.lp : 979 B
  263. clingo/examples/clingo/onmodel/onmodel-py.lp : 963 B
  264. clingo/app/clingo/tests/python/domain.lp : 954 B
  265. clingo/app/clingo/tests/lua/icolor.lp : 953 B
  266. clingo/clasp/libpotassco/tests/CMakeLists.txt : 949 B
  267. clingo/examples/clingo/robots/robots.lp : 946 B
  268. clingo/examples/clingo/dl/dlO.lp : 945 B
  269. clingo/examples/gringo/gbie/gbie2.lp : 933 B
  270. clingo/libclingo/tests/CMakeLists.txt : 908 B
  271. clingo/examples/reify/README : 857 B
  272. clingo/examples/clingo/incqueens/incqueens.lp : 857 B
  273. clingo/app/clingo/tests/lua/queens.lp : 840 B
  274. clingo/examples/clingo/robots/img/saturn_green.gif : 825 B
  275. clingo/examples/clingo/consequences/brave-lua.lp : 821 B
  276. clingo/app/clingo/tests/python/queens.lp : 808 B
  277. clingo/examples/clingo/domains/domains-lua.lp : 807 B
  278. clingo/app/clingo/tests/python/project.sol : 803 B
  279. clingo/app/clingo/tests/python/ast2.sol : 778 B
  280. clingo/app/clingo/tests/lua/robots.sol : 776 B
  281. clingo/examples/clingo/robots/img/saturn_yellow.gif : 763 B
  282. clingo/examples/clingo/robots/img/saturn_red.gif : 763 B
  283. clingo/examples/clingo/robots/img/saturn_blue.gif : 763 B
  284. clingo/examples/clingo/robots/img/star_green.gif : 757 B
  285. clingo/examples/clingo/opt/opt.lp : 740 B
  286. clingo/examples/cc/solve-iteratively.cc : 735 B
  287. clingo/clasp/libpotassco/tests/main.cpp : 735 B
  288. clingo/examples/clingo/robots/img/star_yellow.gif : 723 B
  289. clingo/examples/clingo/robots/img/star_red.gif : 721 B
  290. clingo/examples/clingo/robots/img/star_blue.gif : 721 B
  291. clingo/examples/clingo/robots/img/arrow_green_south.gif : 714 B
  292. clingo/examples/clingo/dot-propagator/dot.lp : 711 B
  293. clingo/app/clingo/tests/python/tag.lp : 707 B
  294. clingo/examples/clingo/robots/img/arrow_green_north.gif : 704 B
  295. clingo/app/clingo/tests/python/ast3.sol : 699 B
  296. clingo/examples/clingo/robots/img/arrow_green_east.gif : 697 B
  297. clingo/examples/clingo/domains/domains-py.lp : 694 B
  298. clingo/app/clingo/tests/lp/bio.lp : 692 B
  299. clingo/examples/clingo/robots/img/arrow_green_west.gif : 690 B
  300. clingo/examples/clingo/robots/img/robot_red.gif : 687 B
  301. clingo/examples/clingo/robots/img/robot_blue.gif : 687 B
  302. clingo/examples/clingo/robots/img/robot_yellow.gif : 685 B
  303. clingo/examples/clingo/dl/fsE.lp : 685 B
  304. clingo/app/clingo/tests/lua/inccsp-onmodel.lp : 683 B
  305. clingo/examples/clingo/robots/img/arrow_yellow_east.gif : 680 B
  306. clingo/examples/clingo/robots/img/arrow_red_east.gif : 680 B
  307. clingo/examples/clingo/robots/img/arrow_blue_east.gif : 680 B
  308. clingo/examples/clingo/robots/img/arrow_yellow_west.gif : 679 B
  309. clingo/examples/clingo/robots/img/arrow_red_west.gif : 679 B
  310. clingo/examples/clingo/robots/img/arrow_blue_west.gif : 679 B
  311. clingo/app/clingo/tests/lua/toh.sol : 679 B
  312. clingo/app/clingo/tests/python/show.sol : 660 B
  313. clingo/app/clingo/tests/lua/show.sol : 660 B
  314. clingo/examples/clingo/robots/img/arrow_yellow_south.gif : 658 B
  315. clingo/examples/clingo/robots/img/move_green_south.gif : 657 B
  316. clingo/examples/clingo/robots/img/arrow_red_south.gif : 657 B
  317. clingo/examples/clingo/robots/img/arrow_blue_south.gif : 657 B
  318. clingo/examples/clingo/robots/img/move_green_west.gif : 653 B
  319. clingo/examples/clingo/robots/img/move_red_west.gif : 647 B
  320. clingo/examples/clingo/robots/img/move_blue_west.gif : 647 B
  321. clingo/examples/clingo/unblock/inst5.lp : 643 B
  322. clingo/examples/clingo/robots/img/move_yellow_west.gif : 643 B
  323. clingo/examples/clingo/robots/img/arrow_red_north.gif : 643 B
  324. clingo/examples/clingo/robots/img/arrow_blue_north.gif : 643 B
  325. clingo/examples/clingo/robots/img/arrow_yellow_north.gif : 640 B
  326. clingo/examples/clingo/robots/img/move_green_north.gif : 639 B
  327. clingo/examples/clingo/dl/README.md : 638 B
  328. clingo/examples/clingo/robots/img/move_blue_east.gif : 637 B
  329. clingo/examples/clingo/robots/img/move_red_north.gif : 634 B
  330. clingo/examples/clingo/robots/img/move_blue_north.gif : 634 B
  331. clingo/examples/clingo/robots/img/move_yellow_north.gif : 631 B
  332. clingo/examples/clingo/robots/img/move_yellow_east.gif : 631 B
  333. clingo/examples/clingo/robots/img/move_yellow_south.gif : 627 B
  334. clingo/examples/clingo/robots/img/move_red_south.gif : 627 B
  335. clingo/examples/clingo/robots/img/move_blue_south.gif : 627 B
  336. clingo/examples/clingo/robots/img/move_green_east.gif : 624 B
  337. clingo/examples/clingo/robots/img/move_red_east.gif : 616 B
  338. clingo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp : 613 B
  339. clingo/examples/clingo/opt/tohB.lp : 590 B
  340. clingo/app/clingo/tests/python/ast.sol : 590 B
  341. clingo/libreify/tests/CMakeLists.txt : 588 B
  342. clingo/examples/clingo/pydoc/pydoc.lp : 583 B
  343. clingo/examples/clingo/cannot/README.md : 576 B
  344. clingo/examples/clingo/pydoc/pydoc-lib.py : 557 B
  345. clingo/examples/gringo/prime-implicants/instance.lp : 553 B
  346. clingo/examples/clingo/solitaire/instance.lp : 550 B
  347. clingo/examples/clingo/enum-assumption/example-lua.lp : 544 B
  348. clingo/examples/clingo/dl/dl.lp : 532 B
  349. clingo/examples/clingo/blocksworld/README : 526 B
  350. clingo/examples/clingo/incqueens/incqueens-lua.lp : 514 B
  351. clingo/examples/clingo/opt/tohE.lp : 505 B
  352. clingo/examples/gringo/toh/tohE.lp : 504 B
  353. clingo/app/clingo/tests/python/observer-replace.sol : 500 B
  354. clingo/app/clingo/tests/lua/observer-replace.sol : 500 B
  355. clingo/examples/gringo/gbie/instances/unsat_01.lp : 495 B
  356. clingo/app/clingo/tests/lua/assumptions4.lp : 495 B
  357. clingo/examples/gringo/queens/queens2.lp : 492 B
  358. clingo/examples/clingo/robots/README.md : 488 B
  359. clingo/examples/clingo/consequences/brave-py.lp : 486 B
  360. clingo/app/clingo/tests/lua/iclingo.lp : 485 B
  361. clingo/app/clingo/tests/python/interrupt.lp : 479 B
  362. clingo/app/clingo/tests/python/cancel.lp : 479 B
  363. clingo/examples/clingo/iclingo/README.md : 477 B
  364. clingo/examples/clingo/context/context-lua.lp : 470 B
  365. clingo/examples/clingo/solve-async/solve-async-py.lp : 462 B
  366. clingo/examples/clingo/enum-assumption/example-py.lp : 455 B
  367. clingo/examples/clingo/cannot/example.lp : 448 B
  368. clingo/app/clingo/tests/python/setconfig.lp : 448 B
  369. clingo/examples/clingo/load/load-lua.lp : 445 B
  370. clingo/examples/clingo/incqueens/incqueens-py.lp : 438 B
  371. clingo/app/clingo/tests/lua/setconfig.lp : 438 B
  372. clingo/app/clingo/tests/python/iclingo.lp : 436 B
  373. clingo/examples/clingo/addclause/addclause-lua.lp : 426 B
  374. clingo/examples/clingo/addclause/addclause-py.lp : 423 B
  375. clingo/examples/gringo/queens/queens1.lp : 418 B
  376. clingo/examples/clingo/stats/stats-lua.lp : 412 B
  377. clingo/examples/clingo/opt/README.md : 412 B
  378. clingo/app/clingo/tests/python/assumptions4.lp : 406 B
  379. clingo/examples/clingo/onmodel/README : 401 B
  380. clingo/examples/cc/CMakeLists.txt : 399 B
  381. clingo/app/clingo/tests/lua/theory-term-types.lp : 389 B
  382. clingo/examples/gringo/gbie/instances/sat_01.lp : 387 B
  383. clingo/examples/clingo/context/context-py.lp : 385 B
  384. clingo/examples/clingo/load/load-py.lp : 372 B
  385. clingo/examples/clingo/incqueens/README.md : 372 B
  386. clingo/examples/gringo/gbie/README : 370 B
  387. clingo/app/clingo/tests/python/externals.lp : 365 B
  388. clingo/app/clingo/tests/lua/externals.lp : 357 B
  389. clingo/examples/gringo/toh/README.md : 355 B
  390. clingo/examples/clingo/stats/README : 353 B
  391. clingo/examples/clingo/unblock/README : 342 B
  392. clingo/examples/clingo/external/external-py.lp : 341 B
  393. clingo/examples/clingo/itersolve/itersolve-lua.lp : 333 B
  394. clingo/examples/clingo/external/external-lua.lp : 332 B
  395. clingo/examples/clingo/blocksworld/lua_interpret.lp : 330 B
  396. clingo/examples/clingo/controller-processes/README : 328 B
  397. clingo/app/clingo/tests/python/domain.sol : 324 B
  398. clingo/app/clingo/tests/lua/domain.sol : 324 B
  399. clingo/examples/clingo/stats/stats-py.lp : 321 B
  400. clingo/examples/clingo/enum-assumption/README : 316 B
  401. clingo/examples/clingo/blocksworld/blocks_01.lp : 315 B
  402. clingo/app/clingo/tests/python/assumptions3.lp : 313 B
  403. clingo/examples/clingo/commit/commit-lua.lp : 311 B
  404. clingo/app/clingo/tests/lua/assumptions3.lp : 311 B
  405. clingo/examples/clingo/cover/preprocess.lp : 307 B
  406. clingo/examples/clingo/unblock/inst2.lp : 301 B
  407. clingo/examples/clingo/commit/commit-py.lp : 298 B
  408. clingo/examples/clingo/controller-threads/README : 297 B
  409. clingo/examples/clingo/controller-threads/client.lp : 283 B
  410. clingo/examples/clingo/controller-processes/client.lp : 283 B
  411. clingo/examples/clingo/controller-async/client.lp : 283 B
  412. clingo/app/clingo/tests/CMakeLists.txt : 280 B
  413. clingo/examples/clingo/controller-async/README : 270 B
  414. clingo/examples/gringo/prime-implicants/README : 269 B
  415. clingo/app/clingo/tests/lp/subset.lp : 263 B
  416. clingo/app/clingo/tests/lua/csp-shrinking.sol : 262 B
  417. clingo/examples/clingo/dot-propagator/README : 257 B
  418. clingo/clasp/tests/CMakeLists.txt : 252 B
  419. clingo/examples/c/version.c : 245 B
  420. clingo/examples/clingo/unblock/inst1.lp : 244 B
  421. clingo/examples/clingo/domains/README : 243 B
  422. clingo/examples/clingo/planning/README : 240 B
  423. clingo/app/clingo/tests/python/parse-term.lp : 240 B
  424. clingo/clasp/examples/CMakeLists.txt : 235 B
  425. clingo/app/clingo/tests/lua/parse-term.lp : 231 B
  426. clingo/examples/clingo/commit/README : 225 B
  427. clingo/examples/clingo/solve-async/README : 222 B
  428. clingo/examples/clingo/context/README : 220 B
  429. clingo/app/clingo/tests/lp/show.sol : 216 B
  430. clingo/app/clingo/tests/lua/csp-shrinking.lp : 206 B
  431. clingo/examples/clingo/cover/cover.lp : 200 B
  432. clingo/examples/clingo/cover/README : 197 B
  433. clingo/examples/clingo/unblock/inst4.lp : 195 B
  434. clingo/app/clingo/tests/lp/show.lp : 194 B
  435. clingo/examples/gringo/ast/README : 186 B
  436. clingo/examples/clingo/consequences/README : 184 B
  437. clingo/examples/gringo/subset/README : 178 B
  438. clingo/examples/clingo/unblock/inst3.lp : 178 B
  439. clingo/examples/clingo/iclingo/example.lp : 178 B
  440. clingo/app/clingo/tests/python/assumptions2.lp : 178 B
  441. clingo/app/clingo/tests/python/assumptions1.lp : 178 B
  442. clingo/examples/gringo/acyc/encoding.lp : 177 B
  443. clingo/app/clingo/tests/lua/project_bug.lp : 175 B
  444. clingo/examples/clingo/dl/fsI.lp : 170 B
  445. clingo/app/clingo/tests/lua/infsup.lp : 169 B
  446. clingo/app/clingo/tests/python/cover-py.sol : 165 B
  447. clingo/app/clingo/tests/lua/cover-lua.sol : 165 B
  448. clingo/examples/clingo/itersolve/itersolve-py.lp : 163 B
  449. clingo/examples/clingo/load/README : 162 B
  450. clingo/app/clingo/tests/lua/theory.sol : 158 B
  451. clingo/app/clingo/tests/python/propagator.sol : 157 B
  452. clingo/app/clingo/tests/lua/propagator.sol : 157 B
  453. clingo/examples/clingo/consequences/example.lp : 156 B
  454. clingo/app/clingo/tests/lua/inccsp.sol : 156 B
  455. clingo/app/clingo/tests/lua/inccsp-onmodel.sol : 156 B
  456. clingo/examples/clingo/include/encoding-lua.lp : 151 B
  457. clingo/app/clingo/tests/lua/assumptions2.lp : 150 B
  458. clingo/app/clingo/tests/lua/assumptions1.lp : 150 B
  459. clingo/examples/clingo/itersolve/README : 147 B
  460. clingo/examples/clingo/include/encoding-py.lp : 146 B
  461. clingo/examples/clingo/cover/instance.lp : 146 B
  462. clingo/examples/clingo/addclause/README : 144 B
  463. clingo/app/clingo/tests/python/infsup.lp : 143 B
  464. clingo/examples/clingo/blocksworld/control_01.lua : 142 B
  465. clingo/examples/reify/example1.lp : 138 B
  466. clingo/examples/clingo/setconf/README : 137 B
  467. clingo/examples/clingo/external/external.lp : 137 B
  468. clingo/app/clingo/tests/lua/incshow.sol : 136 B
  469. clingo/app/clingo/tests/lua/inccsp.lp : 129 B
  470. clingo/examples/clingo/include/README : 127 B
  471. clingo/examples/clingo/external/README : 123 B
  472. clingo/app/clingo/tests/lua/incshow.lp : 118 B
  473. clingo/examples/clingo/pydoc/README : 117 B
  474. clingo/app/clingo/tests/lua/unsat-sync.lp : 113 B
  475. clingo/examples/gringo/rec-cond/README : 112 B
  476. clingo/app/clingo/tests/lp/elevator.sol : 112 B
  477. clingo/examples/gringo/queens/README : 108 B
  478. clingo/examples/gringo/subset/example.lp : 104 B
  479. clingo/examples/gringo/project/README : 94 B
  480. clingo/examples/gringo/acyc/README : 92 B
  481. clingo/examples/clingo/planning/convert.sh : 88 B
  482. clingo/examples/clingo/dot-propagator/test.lp : 88 B
  483. clingo/examples/clingo/solve-async/program.lp : 82 B
  484. clingo/examples/gringo/ast/example.lp : 81 B
  485. clingo/app/clingo/tests/lua/theory-term-types.sol : 80 B
  486. clingo/app/clingo/tests/python/iclingo.sol : 76 B
  487. clingo/app/clingo/tests/lua/iclingo.sol : 76 B
  488. clingo/examples/gringo/toh/tohI.lp : 74 B
  489. clingo/app/clingo/tests/lp/istop.lp : 65 B
  490. clingo/examples/clingo/commit/encoding.lp : 63 B
  491. clingo/app/clingo/tests/python/check-py.sol : 63 B
  492. clingo/app/clingo/tests/lua/check-lua.sol : 63 B
  493. clingo/app/clingo/tests/lp/project.lp : 63 B
  494. clingo/examples/clingo/opt/tohI.lp : 59 B
  495. clingo/examples/clingo/stats/example.lp : 54 B
  496. clingo/examples/gringo/acyc/instance.lp : 53 B
  497. clingo/examples/gringo/project/example.lp : 51 B
  498. clingo/examples/clingo/domains/instance.lp : 51 B
  499. clingo/libreify/tests/main.cc : 47 B
  500. clingo/app/clingo/tests/python/setconfig.sol : 47 B
  501. clingo/app/clingo/tests/lua/setconfig.sol : 47 B
  502. clingo/app/clingo/tests/python/interrupt.sol : 44 B
  503. clingo/app/clingo/tests/python/cancel.sol : 44 B
  504. clingo/app/clingo/tests/python/externals.sol : 43 B
  505. clingo/app/clingo/tests/lua/externals.sol : 43 B
  506. clingo/app/clingo/tests/python/parse-term.sol : 40 B
  507. clingo/app/clingo/tests/python/assumptions4.sol : 40 B
  508. clingo/app/clingo/tests/lua/parse-term.sol : 40 B
  509. clingo/app/clingo/tests/lua/icolor.sol : 40 B
  510. clingo/app/clingo/tests/lua/assumptions4.sol : 40 B
  511. clingo/examples/clingo/load/program.lp : 33 B
  512. clingo/app/clingo/tests/python/infsup.sol : 32 B
  513. clingo/app/clingo/tests/lua/infsup.sol : 32 B
  514. clingo/app/clingo/tests/lua/mutex-bug.sol : 31 B
  515. clingo/app/clingo/tests/python/assumptions3.sol : 26 B
  516. clingo/app/clingo/tests/lua/assumptions3.sol : 26 B
  517. clingo/app/clingo/tests/python/tag.sol : 23 B
  518. clingo/app/clingo/tests/lua/unsat-sync.sol : 22 B
  519. clingo/app/clingo/tests/lp/project.sol : 22 B
  520. clingo/app/clingo/tests/lp/bio.cmd : 22 B
  521. clingo/app/clingo/tests/lua/project_bug.sol : 21 B
  522. clingo/examples/clingo/iclingo/incmode-int.lp : 20 B
  523. clingo/app/clingo/tests/lp/subset.cmd : 19 B
  524. clingo/app/clingo/tests/python/observer.cmd : 18 B
  525. clingo/app/clingo/tests/lua/observer.cmd : 18 B
  526. clingo/app/clingo/tests/python/assumptions2.sol : 16 B
  527. clingo/app/clingo/tests/python/assumptions1.sol : 16 B
  528. clingo/app/clingo/tests/lua/assumptions2.sol : 16 B
  529. clingo/app/clingo/tests/lua/assumptions1.sol : 16 B
  530. clingo/examples/clingo/context/encoding.lp : 14 B
  531. clingo/app/clingo/tests/lp/istop.sol : 14 B
  532. clingo/app/clingo/tests/lp/aggregates.sol : 14 B
  533. clingo/app/clingo/tests/lp/project.cmd : 10 B
  534. clingo/examples/clingo/itersolve/program.lp : 9 B
  535. clingo/app/clingo/tests/lua/inccsp-onmodel.cmd : 9 B
  536. clingo/examples/clingo/include/include.lp : 6 B
  537. clingo/app/clingo/tests/python/sokoban.cmd : 6 B
  538. clingo/app/clingo/tests/python/propagator.cmd : 6 B
  539. clingo/app/clingo/tests/lua/propagator.cmd : 6 B