Ugly Alpha 1
clingo-sys:0.7.1

total uncompressed bytes

17.1 MB

total files

1096

Fix

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

741 wasted files

total waste: 10.3 MB

  1. clingo/examples/gringo/gbie/instances/sat_02.lp : 1.5 MB
  2. clingo/examples/gringo/gbie/instances/unsat_02.lp : 1.3 MB
  3. clingo/examples/gringo/gbie/instances/sat_03.lp : 1.3 MB
  4. clingo/libreify/tests/catch.hpp : 532.0 KB
  5. clingo/libgringo/tests/catch.hpp : 532.0 KB
  6. clingo/libclingo/tests/catch.hpp : 532.0 KB
  7. clingo/clasp/tests/catch.hpp : 432.1 KB
  8. clingo/clasp/libpotassco/tests/catch.hpp : 427.3 KB
  9. clingo/libgringo/tests/output/aspcomp13.cc : 146.9 KB
  10. clingo/app/clingo/tests/lua/conformant3.sol : 117.9 KB
  11. clingo/doc/api/Doxyfile : 107.7 KB
  12. clingo/clasp/libpotassco/doc/Doxyfile : 107.6 KB
  13. clingo/clasp/doc/api/clasp.doxy : 105.7 KB
  14. clingo/clasp/tests/facade_test.cpp : 91.0 KB
  15. clingo/app/clingo/tests/python/queens.sol : 83.3 KB
  16. clingo/app/clingo/tests/lua/queens.sol : 83.3 KB
  17. clingo/clasp/tests/program_builder_test.cpp : 70.0 KB
  18. clingo/libgringo/tests/output/lparse.cc : 65.5 KB
  19. clingo/clasp/tests/solver_test.cpp : 65.0 KB
  20. clingo/libgringo/tests/input/nongroundgrammar.cc : 61.3 KB
  21. clingo/libgringo/tests/ground/instantiation.cc : 47.0 KB
  22. clingo/doc/py/js/highlight.min.js : 46.0 KB
  23. clingo/clasp/tests/minimize_test.cpp : 39.0 KB
  24. clingo/libclingo/tests/clingo.cc : 36.6 KB
  25. clingo/examples/clingo/expansion/GraphColouring/instances/0060-graph_colouring-150-0.lp : 35.5 KB
  26. clingo/libclingo/tests/propagator.cc : 34.9 KB
  27. clingo/examples/clingo/expansion/GraphColouring/instances/0059-graph_colouring-150-0.lp : 34.1 KB
  28. clingo/examples/clingo/expansion/GraphColouring/instances/0046-graph_colouring-145-0.lp : 33.7 KB
  29. clingo/clasp/tests/parser_test.cpp : 33.2 KB
  30. clingo/clasp/tests/clause_test.cpp : 32.5 KB
  31. clingo/examples/clingo/expansion/GraphColouring/instances/0056-graph_colouring-150-0.lp : 32.4 KB
  32. clingo/examples/clingo/expansion/GraphColouring/instances/0048-graph_colouring-145-0.lp : 31.9 KB
  33. clingo/examples/clingo/expansion/GraphColouring/instances/0050-graph_colouring-145-0.lp : 31.7 KB
  34. clingo/examples/clingo/expansion/GraphColouring/instances/0032-graph_colouring-140-0.lp : 31.7 KB
  35. clingo/examples/clingo/expansion/GraphColouring/instances/0040-graph_colouring-140-0.lp : 31.6 KB
  36. clingo/examples/clingo/expansion/GraphColouring/instances/0047-graph_colouring-145-0.lp : 31.1 KB
  37. clingo/examples/clingo/expansion/GraphColouring/instances/0039-graph_colouring-140-0.lp : 31.0 KB
  38. clingo/examples/clingo/expansion/GraphColouring/instances/0036-graph_colouring-140-0.lp : 30.3 KB
  39. clingo/clasp/tests/cli_test.cpp : 30.1 KB
  40. clingo/libclingo/tests/astv2.cc : 30.1 KB
  41. clingo/examples/clingo/expansion/GraphColouring/instances/0022-graph_colouring-135-0.lp : 29.0 KB
  42. clingo/examples/clingo/expansion/GraphColouring/instances/0025-graph_colouring-135-0.lp : 28.3 KB
  43. clingo/examples/clingo/expansion/GraphColouring/instances/0021-graph_colouring-135-0.lp : 28.0 KB
  44. clingo/examples/clingo/expansion/GraphColouring/instances/0023-graph_colouring-135-0.lp : 26.4 KB
  45. clingo/libgringo/tests/input/aggregate.cc : 25.9 KB
  46. clingo/clasp/tests/weight_constraint_test.cpp : 25.5 KB
  47. clingo/clasp/libpotassco/tests/test_smodels.cpp : 24.7 KB
  48. clingo/clasp/tests/decision_heuristic_test.cpp : 24.5 KB
  49. clingo/examples/clingo/expansion/GraphColouring/instances/0013-graph_colouring-130-0.lp : 24.1 KB
  50. clingo/clasp/libpotassco/tests/test_aspif.cpp : 24.0 KB
  51. clingo/examples/clingo/expansion/GraphColouring/instances/0004-graph_colouring-125-0.lp : 23.6 KB
  52. clingo/examples/clingo/expansion/GraphColouring/instances/0008-graph_colouring-125-0.lp : 23.5 KB
  53. clingo/examples/clingo/expansion/GraphColouring/instances/0005-graph_colouring-125-0.lp : 23.1 KB
  54. clingo/examples/clingo/expansion/GraphColouring/instances/0007-graph_colouring-125-0.lp : 22.5 KB
  55. clingo/libgringo/tests/term.cc : 20.8 KB
  56. clingo/examples/clingo/robots/visualize.py : 20.3 KB
  57. clingo/examples/clingo/planning/instances/comm05.lp : 20.0 KB
  58. clingo/clasp/tests/rule_test.cpp : 19.9 KB
  59. clingo/doc/py/_gen/templates/html.mako : 19.9 KB
  60. clingo/clasp/tests/clause_creator_test.cpp : 19.8 KB
  61. clingo/clasp/tests/unfounded_check_test.cpp : 18.3 KB
  62. clingo/clasp/tests/enumerator_test.cpp : 17.8 KB
  63. clingo/clasp/libpotassco/tests/test_string_convert.cpp : 17.7 KB
  64. clingo/clasp/libpotassco/tests/test_text.cpp : 16.4 KB
  65. clingo/examples/clingo/expansion/PartnerUnits/instances/175-partner_units_polynomial-75-0.lp : 16.0 KB
  66. clingo/examples/clingo/expansion/PartnerUnits/instances/153-partner_units-100-0.lp : 15.3 KB
  67. clingo/examples/clingo/expansion/PartnerUnits/instances/99-partner_units-100-0.lp : 15.3 KB
  68. clingo/examples/clingo/expansion/PartnerUnits/instances/154-partner_units-100-0.lp : 15.2 KB
  69. clingo/examples/clingo/expansion/PartnerUnits/instances/114-partner_units_polynomial-100-0.lp : 15.2 KB
  70. clingo/examples/clingo/expansion/PartnerUnits/instances/115-partner_units_polynomial-100-0.lp : 15.2 KB
  71. clingo/examples/clingo/expansion/PartnerUnits/instances/119-partner_units_polynomial-100-0.lp : 15.2 KB
  72. clingo/examples/clingo/expansion/PartnerUnits/instances/102-partner_units-100-0.lp : 15.2 KB
  73. clingo/libgringo/tests/input/programbuilder.cc : 15.2 KB
  74. clingo/examples/clingo/expansion/PartnerUnits/instances/52-partner_units_polynomial-100-0.lp : 15.2 KB
  75. clingo/examples/clingo/expansion/PartnerUnits/instances/100-partner_units-100-0.lp : 15.2 KB
  76. clingo/examples/clingo/expansion/PartnerUnits/instances/69-partner_units_polynomial-100-0.lp : 15.2 KB
  77. clingo/examples/clingo/expansion/PartnerUnits/instances/156-partner_units-100-0.lp : 15.2 KB
  78. clingo/examples/clingo/expansion/PartnerUnits/instances/161-partner_units-100-0.lp : 15.2 KB
  79. clingo/examples/clingo/expansion/PartnerUnits/instances/91-partner_units-100-0.lp : 15.1 KB
  80. clingo/examples/clingo/expansion/PartnerUnits/instances/58-partner_units_polynomial-100-0.lp : 15.1 KB
  81. clingo/examples/clingo/expansion/PartnerUnits/instances/127-partner_units_polynomial-100-0.lp : 15.1 KB
  82. clingo/examples/clingo/dl/app.py : 15.0 KB
  83. clingo/libgringo/tests/input/program.cc : 14.3 KB
  84. clingo/app/clingo/tests/lua/conformant3.lp : 13.9 KB
  85. clingo/libpyclingo/clingo/tests/test_ast.py : 13.8 KB
  86. clingo/app/clingo/tests/lua/conformant1.sol : 13.8 KB
  87. clingo/clasp/libpotassco/tests/test_options.cpp : 13.4 KB
  88. clingo/app/clingo/tests/lua/conformant1.lp : 13.3 KB
  89. clingo/libgringo/tests/intervals.cc : 12.8 KB
  90. clingo/examples/clingo/planning/instances/comm03.lp : 12.8 KB
  91. clingo/examples/clingo/expansion/PartnerUnits/instances/26-partner_units_polynomial-60-0.lp : 12.5 KB
  92. clingo/examples/c/propagator.c : 12.3 KB
  93. clingo/libgringo/tests/input/literal.cc : 11.8 KB
  94. clingo/examples/clingo/expansion/PartnerUnits/instances/188-partner_units_polynomial-57-0.lp : 11.8 KB
  95. clingo/clasp/tests/dlp_builder_test.cpp : 11.4 KB
  96. clingo/clasp/tests/dependency_graph_test.cpp : 11.4 KB
  97. clingo/examples/reify/optimization/example2.lp : 10.7 KB
  98. clingo/app/clingo/tests/lua/propagator.lp : 10.3 KB
  99. clingo/libgringo/tests/tests.hh : 10.1 KB
  100. clingo/libgringo/tests/ground/program.cc : 9.9 KB
  101. clingo/libgringo/tests/output/incremental.cc : 9.8 KB
  102. clingo/libgringo/tests/utility.cc : 9.8 KB
  103. clingo/examples/clingo/blocksworld/control_01.out : 9.7 KB
  104. clingo/examples/clingo/planning/instances/comm02.lp : 9.5 KB
  105. clingo/libgringo/tests/ground/literal.cc : 9.4 KB
  106. clingo/libgringo/tests/ground/theory.cc : 9.4 KB
  107. clingo/libgringo/tests/symbol.cc : 9.0 KB
  108. clingo/examples/clingo/planning/instances/coins01.lp : 8.6 KB
  109. clingo/app/clingo/tests/lp/subset.sol : 8.5 KB
  110. clingo/app/clingo/tests/python/propagator.lp : 8.4 KB
  111. clingo/libgringo/tests/ground/dependency.cc : 8.4 KB
  112. clingo/examples/c/statistics.c : 8.3 KB
  113. clingo/examples/reify/gac/examples/conformant/instance.lp : 8.2 KB
  114. clingo/examples/clingo/expansion/PartnerUnits/instances/196-partner_units_polynomial-59-0.lp : 8.0 KB
  115. clingo/libgringo/tests/output/theory.cc : 7.9 KB
  116. clingo/app/clingo/tests/python/blocksworld1.lp : 7.8 KB
  117. clingo/libpyclingo/clingo/tests/test_backend.py : 7.8 KB
  118. clingo/app/clingo/tests/lua/observer-replace.lp : 7.8 KB
  119. clingo/app/clingo/tests/lua/observer.lp : 7.7 KB
  120. clingo/examples/cc/heuristic.cc : 7.5 KB
  121. clingo/app/clingo/tests/lua/blocksworld1.lp : 7.5 KB
  122. clingo/clasp/libpotassco/tests/test_value.cpp : 7.4 KB
  123. clingo/app/clingo/tests/lua/solitaire_sort.lp : 7.4 KB
  124. clingo/libpyclingo/clingo/tests/test_propagator.py : 7.4 KB
  125. clingo/libpyclingo/clingo/tests/test_solving.py : 7.3 KB
  126. clingo/examples/clingo/well-founded/well-founded.py : 7.3 KB
  127. clingo/examples/clingo/expansion/PartnerUnits/instances/180-partner_units_polynomial-47-0.lp : 7.1 KB
  128. clingo/examples/c/ast.c : 6.9 KB
  129. clingo/libgringo/tests/output/warnings.cc : 6.9 KB
  130. clingo/app/clingo/tests/lua/robots.lp : 6.8 KB
  131. clingo/app/clingo/tests/lua/conformant2.lp : 6.8 KB
  132. clingo/app/clingo/tests/lua/sokoban_para.sol : 6.5 KB
  133. clingo/libpyclingo/clingo/tests/test_atoms.py : 6.3 KB
  134. clingo/doc/api/DoxygenLayout.xml : 6.3 KB
  135. clingo/clasp/libpotassco/doc/layout.xml : 6.3 KB
  136. clingo/clasp/doc/api/layout.xml : 6.3 KB
  137. clingo/examples/clingo/unblock/visualize.py : 6.2 KB
  138. clingo/clasp/tests/satelite_test.cpp : 6.1 KB
  139. clingo/app/clingo/tests/run.py : 6.1 KB
  140. clingo/examples/clingo/solitaire/visualize.py : 6.0 KB
  141. clingo/clasp/tests/literal_test.cpp : 6.0 KB
  142. clingo/examples/clingo/gac/app.py : 5.9 KB
  143. clingo/app/clingo/tests/python/observer-replace.lp : 5.8 KB
  144. clingo/app/clingo/tests/python/observer.lp : 5.8 KB
  145. clingo/examples/clingo/controller-threads/controller.py : 5.7 KB
  146. clingo/examples/clingo/tmode/tmode.py : 5.6 KB
  147. clingo/examples/c/model.c : 5.5 KB
  148. clingo/examples/clingo/blocksworld/world.lp : 5.4 KB
  149. clingo/examples/c/backend.c : 5.3 KB
  150. clingo/app/clingo/tests/lua/solitaire_para.sol : 5.3 KB
  151. clingo/libgringo/tests/output/solver_helper.hh : 5.3 KB
  152. clingo/libgringo/tests/input/nongroundlexer.cc : 5.2 KB
  153. clingo/doc/py/css/pdoc.css : 5.0 KB
  154. clingo/clasp/examples/example1.cpp : 4.9 KB
  155. clingo/app/clingo/tests/lua/mutex-bug.lp : 4.9 KB
  156. clingo/examples/c/theory-atoms.c : 4.9 KB
  157. clingo/app/clingo/tests/lua/sokoban_para.lp : 4.7 KB
  158. clingo/app/clingo/tests/python/observer.sol : 4.5 KB
  159. clingo/app/clingo/tests/lua/observer.sol : 4.5 KB
  160. clingo/examples/clingo/controller-async/controller.py : 4.5 KB
  161. clingo/examples/c/configuration.c : 4.5 KB
  162. clingo/libreify/tests/program.cc : 4.4 KB
  163. clingo/app/clingo/tests/lua/sokoban_back.lp : 4.2 KB
  164. clingo/libgringo/tests/term_helper.hh : 4.2 KB
  165. clingo/libgringo/tests/ground/grounder_helper.hh : 4.2 KB
  166. clingo/app/clingo/tests/lua/solitaire_sort.sol : 4.1 KB
  167. clingo/examples/c/solve-async.c : 4.1 KB
  168. clingo/examples/clingo/multishot/inc.py : 4.0 KB
  169. clingo/clasp/libpotassco/tests/test_application.cpp : 3.9 KB
  170. clingo/app/clingo/tests/lua/solitaire_para.lp : 3.9 KB
  171. clingo/libclingo/tests/symbol.cc : 3.9 KB
  172. clingo/examples/clingo/expansion/main.py : 3.8 KB
  173. clingo/app/clingo/tests/python/test.sol : 3.8 KB
  174. .github/workflows/ci-test.yml : 3.7 KB
  175. clingo/examples/clingo/controller-processes/server.py : 3.7 KB
  176. clingo/libpyclingo/clingo/tests/test_application.py : 3.7 KB
  177. clingo/app/clingo/tests/lua/test.sol : 3.6 KB
  178. clingo/app/clingo/tests/lp/aggregates.lp : 3.6 KB
  179. clingo/clasp/tests/lpcompare.h : 3.5 KB
  180. clingo/libgringo/tests/input/aggregate_helper.hh : 3.5 KB
  181. clingo/libgringo/tests/input/lit_helper.hh : 3.4 KB
  182. clingo/examples/c/control.c : 3.4 KB
  183. clingo/examples/c/symbolic-atoms.c : 3.3 KB
  184. clingo/examples/clingo/planning/encoding.lp : 3.3 KB
  185. clingo/clasp/examples/example2.cpp : 3.3 KB
  186. clingo/app/clingo/tests/lua/sokoban.lp : 3.3 KB
  187. clingo/clasp/libpotassco/doc/potassco-logo.png : 3.3 KB
  188. clingo/clasp/doc/api/potassco-logo.png : 3.3 KB
  189. clingo/libgringo/tests/graph.cc : 3.3 KB
  190. clingo/libgringo/tests/safetycheck.cc : 3.1 KB
  191. clingo/examples/reify/optimization/encoding.lp : 3.0 KB
  192. clingo/examples/clingo/blocksworld/lua.lp : 3.0 KB
  193. clingo/libpyclingo/clingo/tests/test_conf.py : 3.0 KB
  194. clingo/app/clingo/tests/python/blocksworld1.sol : 3.0 KB
  195. clingo/app/clingo/tests/lua/blocksworld1.sol : 3.0 KB
  196. clingo/examples/c/application.c : 2.9 KB
  197. clingo/examples/reify/common/metaD.lp : 2.9 KB
  198. clingo/examples/c/symbol.c : 2.9 KB
  199. clingo/examples/clingo/heuristic/encoding-lua.lp : 2.9 KB
  200. clingo/libpyclingo/clingo/tests/test_symbol.py : 2.8 KB
  201. clingo/libgringo/tests/input/parse_term.cc : 2.8 KB
  202. clingo/app/clingo/tests/lua/cover-lua.lp : 2.8 KB
  203. clingo/clasp/libpotassco/tests/test_common.h : 2.8 KB
  204. clingo/doc/py/_gen/gen.py : 2.8 KB
  205. clingo/examples/clingo/controller-processes/client.py : 2.7 KB
  206. clingo/app/clingo/tests/lp/bio.sol : 2.7 KB
  207. clingo/libgringo/tests/CMakeLists.txt : 2.6 KB
  208. clingo/examples/clingo/cannot/cannot-lua.lp : 2.6 KB
  209. clingo/examples/c/CMakeLists.txt : 2.6 KB
  210. clingo/clasp/examples/example3.cpp : 2.6 KB
  211. clingo/app/clingo/tests/python/sokoban.lp : 2.6 KB
  212. clingo/examples/gringo/rec-cond/encoding.lp : 2.5 KB
  213. clingo/app/clingo/tests/python/cover-py.lp : 2.5 KB
  214. clingo/app/clingo/tests/python/project.lp : 2.5 KB
  215. clingo/clasp/examples/example4.cpp : 2.4 KB
  216. clingo/clasp/examples/main.cpp : 2.4 KB
  217. clingo/examples/clingo/expansion/PartnerUnits/encodings/encoding.lp : 2.4 KB
  218. clingo/examples/gringo/ast/visitor.lp : 2.3 KB
  219. clingo/app/clingo/tests/lua/toh.lp : 2.3 KB
  220. clingo/examples/clingo/heuristic/encoding-py.lp : 2.3 KB
  221. clingo/libclingo/tests/tests.hh : 2.3 KB
  222. clingo/libgringo/tests/unique_vec.cc : 2.2 KB
  223. clingo/libclingo/tests/variant.cc : 2.2 KB
  224. clingo/examples/gringo/rec-cond/instance.lp : 2.2 KB
  225. clingo/examples/reify/gac/examples/conformant/base.lp : 2.1 KB
  226. clingo/examples/gringo/prime-implicants/encoding.lp : 2.1 KB
  227. clingo/app/clingo/tests/lp/elevator.lp : 2.0 KB
  228. clingo/clasp/tests/test_main.cpp : 2.0 KB
  229. clingo/app/clingo/tests/lua/assignment.lp : 2.0 KB
  230. clingo/examples/clingo/cover/control-lua.lp : 2.0 KB
  231. clingo/examples/clingo/robots/board.lp : 2.0 KB
  232. clingo/examples/clingo/cannot/cannot-py.lp : 1.9 KB
  233. clingo/examples/clingo/dl/README.md : 1.9 KB
  234. clingo/libpyclingo/clingo/tests/test_control.py : 1.9 KB
  235. clingo/app/clingo/tests/lua/add-clause-lua.lp : 1.8 KB
  236. clingo/examples/reify/gac/README.md : 1.8 KB
  237. clingo/examples/clingo/robots/img/tile_right.gif : 1.8 KB
  238. clingo/app/clingo/tests/python/assignment.lp : 1.7 KB
  239. clingo/examples/clingo/robots/img/tile_left.gif : 1.7 KB
  240. clingo/examples/clingo/unblock/unblock.lp : 1.7 KB
  241. clingo/examples/clingo/cover/control-py.lp : 1.7 KB
  242. clingo/examples/gringo/gbie/gbie1.lp : 1.7 KB
  243. clingo/app/clingo/tests/lua/sokoban.sol : 1.7 KB
  244. clingo/app/clingo/tests/python/add-clause-py.lp : 1.7 KB
  245. clingo/examples/clingo/planning/instances/uts01.lp : 1.7 KB
  246. clingo/examples/clingo/multishot/README.md : 1.7 KB
  247. clingo/examples/clingo/expansion/README : 1.6 KB
  248. clingo/examples/reify/gac/examples/conformant/README.md : 1.6 KB
  249. clingo/app/clingo/tests/lua/theory.lp : 1.6 KB
  250. clingo/app/clingo/tests/lua/sokoban_back.sol : 1.6 KB
  251. clingo/examples/clingo/setconf/setconf-lua.lp : 1.6 KB
  252. clingo/examples/clingo/chemistry/app.py : 1.6 KB
  253. clingo/examples/clingo/setconf/setconf-py.lp : 1.6 KB
  254. clingo/clasp/examples/example.h : 1.6 KB
  255. clingo/examples/clingo/multishot/opt.py : 1.6 KB
  256. clingo/examples/cc/inject-terms.cc : 1.5 KB
  257. clingo/app/clingo/tests/python/test.lp : 1.5 KB
  258. clingo/examples/reify/optimization/README.md : 1.5 KB
  259. clingo/examples/clingo/robots/img/random_robot.gif : 1.4 KB
  260. clingo/clasp/doc/api/clasp.txt : 1.4 KB
  261. clingo/app/clingo/tests/python/sokoban.sol : 1.3 KB
  262. clingo/doc/api/clingo.css : 1.3 KB
  263. clingo/examples/reify/ht/encoding.lp : 1.3 KB
  264. clingo/app/clingo/tests/lua/test.lp : 1.3 KB
  265. clingo/examples/clingo/solitaire/README.md : 1.3 KB
  266. clingo/app/clingo/tests/lua/conformant2.sol : 1.2 KB
  267. clingo/app/clingo/tests/lua/check-lua.lp : 1.2 KB
  268. clingo/examples/clingo/onmodel/onmodel-lua.lp : 1.2 KB
  269. clingo/libclingo/tests/main.cc : 1.2 KB
  270. clingo/libgringo/tests/main.cc : 1.2 KB
  271. clingo/app/clingo/tests/python/statistics.lp : 1.2 KB
  272. clingo/examples/clingo/iclingo/incmode-lua.lp : 1.2 KB
  273. clingo/clasp/libpotassco/doc/layout.css : 1.2 KB
  274. clingo/clasp/doc/api/layout.css : 1.2 KB
  275. clingo/examples/clingo/planning/convert.lp : 1.2 KB
  276. clingo/examples/clingo/robots/img/wall_west.gif : 1.2 KB
  277. clingo/app/clingo/tests/lua/show.lp : 1.2 KB
  278. clingo/examples/clingo/robots/img/sun_green.gif : 1.2 KB
  279. clingo/examples/clingo/robots/img/sun_red.gif : 1.1 KB
  280. clingo/examples/clingo/robots/img/sun_blue.gif : 1.1 KB
  281. clingo/examples/clingo/robots/img/sun_yellow.gif : 1.1 KB
  282. clingo/examples/clingo/robots/img/robot_green.gif : 1.1 KB
  283. clingo/examples/clingo/robots/img/moon_green.gif : 1.1 KB
  284. clingo/examples/clingo/robots/img/wall_north.gif : 1.1 KB
  285. clingo/examples/clingo/robots/img/moon_red.gif : 1.1 KB
  286. clingo/examples/clingo/robots/img/moon_blue.gif : 1.1 KB
  287. clingo/examples/clingo/robots/img/moon_yellow.gif : 1.1 KB
  288. clingo/examples/clingo/well-founded/README.md : 1.1 KB
  289. clingo/examples/clingo/iclingo/incmode-py.lp : 1.1 KB
  290. clingo/doc/py/Gemfile : 1.1 KB
  291. clingo/examples/clingo/extending/README.md : 1.1 KB
  292. clingo/examples/clingo/planning/planning-lua.lp : 1.1 KB
  293. clingo/examples/clingo/extending/app.py : 1.1 KB
  294. clingo/app/clingo/tests/lua/domain.lp : 1.1 KB
  295. clingo/doc/py/_includes/head.html : 1.1 KB
  296. clingo/app/clingo/tests/python/check-py.lp : 1.1 KB
  297. clingo/app/clingo/tests/lua/test-numeric.lp : 1.1 KB
  298. clingo/examples/clingo/15puzzle/encoding.lp : 1.0 KB
  299. clingo/examples/clingo/solitaire/solitaire.lp : 1.0 KB
  300. clingo/app/clingo/tests/python/domain.lp : 1.0 KB
  301. clingo/app/clingo/tests/python/test-numeric.lp : 1.0 KB
  302. clingo/app/clingo/tests/lua/add_watch.lp : 1.0 KB
  303. clingo/app/clingo/tests/lua/icolor.lp : 998 B
  304. clingo/examples/clingo/onmodel/onmodel-py.lp : 994 B
  305. clingo/clasp/libpotassco/tests/CMakeLists.txt : 984 B
  306. clingo/examples/clingo/robots/robots.lp : 981 B
  307. clingo/examples/gringo/gbie/gbie2.lp : 965 B
  308. clingo/libpyclingo/clingo/tests/util.py : 960 B
  309. clingo/libclingo/tests/CMakeLists.txt : 937 B
  310. clingo/app/clingo/tests/lua/core1.lp : 937 B
  311. clingo/examples/clingo/incqueens/incqueens.lp : 880 B
  312. clingo/app/clingo/tests/lua/queens.lp : 879 B
  313. clingo/app/clingo/tests/python/queens.lp : 877 B
  314. clingo/examples/reify/many/encoding.lp : 873 B
  315. clingo/doc/py/css/github.min.css : 872 B
  316. clingo/app/clingo/tests/lua/add_minimize.lp : 867 B
  317. clingo/examples/clingo/consequences/brave-lua.lp : 865 B
  318. clingo/app/clingo/tests/lua/core2.lp : 865 B
  319. clingo/app/clingo/tests/python/show.lp : 851 B
  320. clingo/examples/reify/austere/encoding.lp : 849 B
  321. clingo/examples/reify/gac/examples/preferences/README.md : 836 B
  322. clingo/examples/clingo/domains/domains-lua.lp : 831 B
  323. clingo/app/clingo/tests/python/project.sol : 831 B
  324. clingo/examples/clingo/robots/img/saturn_green.gif : 825 B
  325. clingo/examples/gringo/sort/README.md : 818 B
  326. clingo/app/clingo/tests/python/add_watch.lp : 805 B
  327. clingo/examples/clingo/extending/module.py : 800 B
  328. clingo/examples/clingo/opt/opt.lp : 797 B
  329. clingo/examples/clingo/excel/excel-py.lp : 792 B
  330. clingo/app/clingo/tests/lua/add_weight.lp : 788 B
  331. clingo/app/clingo/tests/lua/robots.sol : 784 B
  332. clingo/app/clingo/tests/lua/conflicting.lp : 784 B
  333. clingo/examples/reify/gac/run.sh : 766 B
  334. clingo/examples/clingo/robots/img/saturn_yellow.gif : 763 B
  335. clingo/examples/clingo/robots/img/saturn_red.gif : 763 B
  336. clingo/examples/clingo/robots/img/saturn_blue.gif : 763 B
  337. clingo/examples/cc/solve-iteratively.cc : 762 B
  338. clingo/examples/clingo/robots/img/star_green.gif : 757 B
  339. clingo/clasp/libpotassco/tests/main.cpp : 754 B
  340. clingo/examples/reify/classical/README.md : 751 B
  341. clingo/examples/reify/supported/README.md : 749 B
  342. clingo/doc/py/_gen/monitor.sh : 743 B
  343. clingo/examples/clingo/dot-propagator/dot.lp : 742 B
  344. clingo/app/clingo/tests/python/tag.lp : 741 B
  345. clingo/app/clingo/tests/python/conflicting.lp : 739 B
  346. clingo/examples/clingo/domains/domains-py.lp : 737 B
  347. clingo/app/clingo/tests/lp/bio.lp : 729 B
  348. clingo/examples/clingo/robots/img/star_yellow.gif : 723 B
  349. clingo/examples/clingo/robots/img/star_red.gif : 721 B
  350. clingo/examples/clingo/robots/img/star_blue.gif : 721 B
  351. clingo/app/clingo/tests/lua/inccsp-onmodel.lp : 720 B
  352. clingo/examples/clingo/robots/img/arrow_green_south.gif : 714 B
  353. clingo/app/clingo/tests/lua/toh.sol : 714 B
  354. clingo/app/clingo/tests/lua/wc2.lp : 711 B
  355. clingo/app/clingo/tests/lua/wc5.lp : 710 B
  356. clingo/app/clingo/tests/lua/wc3.lp : 710 B
  357. clingo/app/clingo/tests/lua/wc1.lp : 710 B
  358. clingo/app/clingo/tests/lua/wc6.lp : 709 B
  359. clingo/app/clingo/tests/lua/wc4.lp : 709 B
  360. clingo/app/clingo/tests/python/add_minimize.lp : 706 B
  361. clingo/examples/clingo/robots/img/arrow_green_north.gif : 704 B
  362. clingo/examples/clingo/robots/img/arrow_green_east.gif : 697 B
  363. clingo/examples/clingo/robots/img/arrow_green_west.gif : 690 B
  364. clingo/examples/clingo/robots/img/robot_red.gif : 687 B
  365. clingo/examples/clingo/robots/img/robot_blue.gif : 687 B
  366. clingo/examples/clingo/unblock/inst5.lp : 685 B
  367. clingo/examples/clingo/robots/img/robot_yellow.gif : 685 B
  368. clingo/app/clingo/tests/lua/add_atom.lp : 684 B
  369. clingo/examples/clingo/robots/img/arrow_yellow_east.gif : 680 B
  370. clingo/examples/clingo/robots/img/arrow_red_east.gif : 680 B
  371. clingo/examples/clingo/robots/img/arrow_blue_east.gif : 680 B
  372. clingo/app/clingo/tests/python/add_atom.lp : 680 B
  373. clingo/examples/clingo/robots/img/arrow_yellow_west.gif : 679 B
  374. clingo/examples/clingo/robots/img/arrow_red_west.gif : 679 B
  375. clingo/examples/clingo/robots/img/arrow_blue_west.gif : 679 B
  376. clingo/app/clingo/tests/lua/show.sol : 667 B
  377. clingo/examples/clingo/robots/img/arrow_yellow_south.gif : 658 B
  378. clingo/examples/clingo/robots/img/move_green_south.gif : 657 B
  379. clingo/examples/clingo/robots/img/arrow_red_south.gif : 657 B
  380. clingo/examples/clingo/robots/img/arrow_blue_south.gif : 657 B
  381. clingo/examples/clingo/robots/img/move_green_west.gif : 653 B
  382. clingo/examples/clingo/15puzzle/README.md : 652 B
  383. clingo/examples/clingo/robots/img/move_red_west.gif : 647 B
  384. clingo/examples/clingo/robots/img/move_blue_west.gif : 647 B
  385. clingo/examples/clingo/expansion/GraphColouring/encodings/encoding.lp : 644 B
  386. clingo/examples/clingo/robots/img/move_yellow_west.gif : 643 B
  387. clingo/examples/clingo/robots/img/arrow_red_north.gif : 643 B
  388. clingo/examples/clingo/robots/img/arrow_blue_north.gif : 643 B
  389. clingo/examples/clingo/robots/img/arrow_yellow_north.gif : 640 B
  390. clingo/examples/clingo/robots/img/move_green_north.gif : 639 B
  391. clingo/examples/clingo/robots/img/move_blue_east.gif : 637 B
  392. clingo/examples/clingo/chemistry/README.md : 635 B
  393. clingo/examples/clingo/robots/img/move_red_north.gif : 634 B
  394. clingo/examples/clingo/robots/img/move_blue_north.gif : 634 B
  395. clingo/examples/reify/many/README.md : 632 B
  396. clingo/examples/clingo/robots/img/move_yellow_north.gif : 631 B
  397. clingo/examples/clingo/robots/img/move_yellow_east.gif : 631 B
  398. clingo/examples/clingo/robots/img/move_yellow_south.gif : 627 B
  399. clingo/examples/clingo/robots/img/move_red_south.gif : 627 B
  400. clingo/examples/clingo/robots/img/move_blue_south.gif : 627 B
  401. clingo/app/clingo/tests/python/add_weight.lp : 626 B
  402. clingo/examples/clingo/robots/img/move_green_east.gif : 624 B
  403. clingo/examples/clingo/robots/img/move_red_east.gif : 616 B
  404. clingo/examples/clingo/opt/tohB.lp : 613 B
  405. clingo/examples/reify/gac/examples/tictactoe/README.md : 612 B
  406. clingo/examples/clingo/pydoc/pydoc.lp : 612 B
  407. clingo/libreify/tests/CMakeLists.txt : 607 B
  408. clingo/app/clingo/tests/python/free.lp : 604 B
  409. clingo/examples/reify/ht/README.md : 588 B
  410. clingo/examples/cc/CMakeLists.txt : 588 B
  411. clingo/examples/clingo/solitaire/instance.lp : 587 B
  412. clingo/examples/clingo/cannot/README.md : 587 B
  413. clingo/examples/clingo/pydoc/pydoc-lib.py : 583 B
  414. clingo/examples/reify/supported/encoding.lp : 576 B
  415. clingo/examples/reify/common/meta.lp : 573 B
  416. clingo/examples/clingo/dl/fsE.lp : 572 B
  417. clingo/examples/gringo/prime-implicants/instance.lp : 562 B
  418. clingo/examples/clingo/blocksworld/README : 539 B
  419. clingo/app/clingo/tests/python/wc2.lp : 539 B
  420. clingo/app/clingo/tests/python/wc5.lp : 538 B
  421. clingo/app/clingo/tests/python/wc3.lp : 538 B
  422. clingo/app/clingo/tests/python/wc1.lp : 538 B
  423. clingo/examples/gringo/gbie/instances/unsat_01.lp : 537 B
  424. clingo/app/clingo/tests/python/wc6.lp : 537 B
  425. clingo/app/clingo/tests/python/wc4.lp : 537 B
  426. clingo/examples/clingo/consequences/brave-py.lp : 535 B
  427. clingo/examples/clingo/incqueens/incqueens-lua.lp : 534 B
  428. clingo/app/clingo/tests/python/core1.lp : 530 B
  429. clingo/examples/clingo/opt/tohE.lp : 528 B
  430. clingo/examples/gringo/toh/tohE.lp : 526 B
  431. clingo/examples/clingo/multishot/tohB.lp : 526 B
  432. clingo/examples/gringo/queens/queens2.lp : 525 B
  433. clingo/app/clingo/tests/python/backend_heuristic.lp : 525 B
  434. clingo/examples/clingo/multishot/tohE.lp : 523 B
  435. clingo/app/clingo/tests/python/logger.lp : 521 B
  436. clingo/app/clingo/tests/lua/assumptions4.lp : 521 B
  437. .github/dependabot.yml : 514 B
  438. clingo/app/clingo/tests/lua/iclingo.lp : 510 B
  439. clingo/examples/clingo/15puzzle/instance1.lp : 505 B
  440. clingo/app/clingo/tests/python/observer-replace.sol : 504 B
  441. clingo/app/clingo/tests/python/interrupt.lp : 503 B
  442. clingo/app/clingo/tests/python/cancel.lp : 503 B
  443. clingo/app/clingo/tests/lua/observer-replace.sol : 503 B
  444. clingo/examples/clingo/robots/README.md : 501 B
  445. clingo/examples/clingo/context/context-lua.lp : 500 B
  446. clingo/app/clingo/tests/lua/extend-model.lp : 499 B
  447. clingo/app/clingo/tests/python/iclingo.lp : 497 B
  448. clingo/examples/clingo/incqueens/incqueens-py.lp : 493 B
  449. clingo/examples/clingo/iclingo/README.md : 493 B
  450. clingo/examples/reify/gac/examples/2qbf/README.md : 490 B
  451. clingo/app/clingo/tests/lua/logger.lp : 487 B
  452. clingo/examples/clingo/enum-assumption/example-lua.lp : 484 B
  453. clingo/examples/clingo/solve-async/solve-async-py.lp : 483 B
  454. clingo/app/clingo/tests/python/setconfig.lp : 481 B
  455. clingo/examples/clingo/enum-assumption/example-py.lp : 478 B
  456. clingo/app/clingo/tests/python/external-lookup.lp : 474 B
  457. clingo/app/clingo/tests/python/core2.lp : 472 B
  458. clingo/examples/clingo/extend_model/extend_model-lua.lp : 469 B
  459. clingo/examples/reify/austere/README.md : 468 B
  460. clingo/examples/clingo/cannot/example.lp : 466 B
  461. clingo/app/clingo/tests/lua/setconfig.lp : 466 B
  462. clingo/examples/clingo/load/load-lua.lp : 461 B
  463. clingo/examples/clingo/addclause/addclause-lua.lp : 444 B
  464. clingo/examples/clingo/context/context-py.lp : 443 B
  465. clingo/examples/clingo/addclause/addclause-py.lp : 441 B
  466. clingo/examples/gringo/queens/queens1.lp : 433 B
  467. clingo/examples/clingo/stats/stats-lua.lp : 430 B
  468. clingo/examples/clingo/opt/README.md : 427 B
  469. clingo/app/clingo/tests/python/assumptions4.lp : 427 B
  470. clingo/examples/gringo/gbie/instances/sat_01.lp : 420 B
  471. clingo/examples/clingo/onmodel/README : 410 B
  472. clingo/examples/clingo/external/external-py.lp : 407 B
  473. clingo/app/clingo/tests/lua/theory-term-types.lp : 407 B
  474. clingo/app/clingo/tests/CMakeLists.txt : 403 B
  475. clingo/examples/clingo/gac/README.md : 401 B
  476. clingo/examples/reify/gac/examples/2qbf/check.lp : 397 B
  477. clingo/examples/clingo/load/load-py.lp : 387 B
  478. clingo/app/clingo/tests/python/externals.lp : 384 B
  479. clingo/examples/clingo/incqueens/README.md : 382 B
  480. clingo/examples/gringo/gbie/README : 379 B
  481. clingo/app/clingo/tests/lua/externals.lp : 376 B
  482. clingo/examples/clingo/15puzzle/instance2.lp : 372 B
  483. clingo/examples/reify/gac/examples/simple/README.md : 371 B
  484. clingo/examples/gringo/toh/README.md : 367 B
  485. clingo/examples/clingo/stats/README : 361 B
  486. clingo/app/clingo/tests/python/extend-model.lp : 361 B
  487. clingo/examples/clingo/unblock/README : 353 B
  488. clingo/app/clingo/tests/python/ret.lp : 353 B
  489. clingo/examples/clingo/itersolve/itersolve-lua.lp : 352 B
  490. clingo/examples/clingo/blocksworld/lua_interpret.lp : 352 B
  491. clingo/examples/clingo/external/external-lua.lp : 346 B
  492. clingo/examples/clingo/blocksworld/blocks_01.lp : 342 B
  493. clingo/examples/clingo/controller-processes/README : 339 B
  494. clingo/examples/clingo/stats/stats-py.lp : 335 B
  495. clingo/examples/clingo/extend_model/extend_model-py.lp : 331 B
  496. clingo/app/clingo/tests/python/domain.sol : 327 B
  497. clingo/app/clingo/tests/python/assumptions3.lp : 327 B
  498. clingo/app/clingo/tests/lua/domain.sol : 327 B
  499. clingo/examples/clingo/excel/README.md : 325 B
  500. clingo/examples/reify/many/example.lp : 324 B
  501. clingo/examples/clingo/enum-assumption/README : 324 B
  502. clingo/app/clingo/tests/lua/assumptions3.lp : 323 B
  503. clingo/app/clingo/tests/python/backend_acyc.lp : 322 B
  504. clingo/examples/clingo/cover/preprocess.lp : 321 B
  505. clingo/examples/clingo/unblock/inst2.lp : 319 B
  506. clingo/app/clingo/tests/lua/csp-shrinking.sol : 316 B
  507. clingo/examples/clingo/extending/embedded.lp : 314 B
  508. clingo/examples/clingo/controller-threads/README : 305 B
  509. clingo/examples/gringo/sort/sort-lua.lp : 303 B
  510. clingo/examples/clingo/controller-threads/client.lp : 298 B
  511. clingo/examples/clingo/controller-processes/client.lp : 298 B
  512. clingo/examples/clingo/controller-async/client.lp : 298 B
  513. clingo/app/clingo/tests/python/show.sol : 281 B
  514. clingo/app/clingo/tests/python/backend_assume.lp : 279 B
  515. clingo/examples/clingo/controller-async/README : 278 B
  516. clingo/examples/gringo/prime-implicants/README : 276 B
  517. clingo/app/clingo/tests/lp/subset.lp : 275 B
  518. clingo/examples/clingo/dot-propagator/README : 263 B
  519. clingo/examples/clingo/unblock/inst1.lp : 259 B
  520. clingo/examples/c/version.c : 259 B
  521. clingo/clasp/tests/CMakeLists.txt : 259 B
  522. clingo/examples/reify/simple/README.md : 258 B
  523. clingo/app/clingo/tests/python/parse-term.lp : 254 B
  524. clingo/examples/clingo/domains/README : 249 B
  525. clingo/examples/clingo/planning/README : 246 B
  526. clingo/clasp/examples/CMakeLists.txt : 245 B
  527. clingo/app/clingo/tests/lua/parse-term.lp : 245 B
  528. clingo/app/clingo/tests/lp/show.sol : 241 B
  529. clingo/app/clingo/tests/python/backend_project.lp : 239 B
  530. clingo/examples/clingo/solve-async/README : 228 B
  531. clingo/examples/clingo/heuristic/README.md : 226 B
  532. clingo/examples/clingo/context/README : 226 B
  533. clingo/app/clingo/tests/lua/csp-shrinking.lp : 222 B
  534. clingo/app/clingo/tests/lp/show.lp : 210 B
  535. clingo/examples/clingo/unblock/inst4.lp : 209 B
  536. clingo/examples/clingo/tmode/README.md : 209 B
  537. clingo/examples/clingo/cover/cover.lp : 209 B
  538. clingo/examples/clingo/cover/README : 202 B
  539. clingo/doc/py/_config.yml : 201 B
  540. clingo/app/clingo/tests/python/multi.lp : 199 B
  541. clingo/examples/clingo/include/encoding-py.lp : 195 B
  542. clingo/app/clingo/tests/python/logger.sol : 195 B
  543. clingo/app/clingo/tests/lua/logger.sol : 195 B
  544. clingo/examples/clingo/iclingo/example.lp : 194 B
  545. clingo/examples/gringo/ast/README : 192 B
  546. clingo/examples/reify/gac/examples/2qbf/base.lp : 191 B
  547. clingo/app/clingo/tests/python/assumptions2.lp : 191 B
  548. clingo/app/clingo/tests/python/assumptions1.lp : 191 B
  549. clingo/app/clingo/tests/python/add_atom.sol : 191 B
  550. clingo/app/clingo/tests/lua/add_atom.sol : 191 B
  551. clingo/examples/clingo/extend_model/README.md : 190 B
  552. clingo/examples/clingo/consequences/README : 190 B
  553. clingo/examples/reify/gac/examples/tictactoe/base.lp : 189 B
  554. clingo/examples/clingo/unblock/inst3.lp : 189 B
  555. clingo/app/clingo/tests/lua/project_bug.lp : 188 B
  556. clingo/app/clingo/tests/lua/infsup.lp : 185 B
  557. clingo/examples/gringo/subset/README : 184 B
  558. clingo/examples/gringo/acyc/encoding.lp : 184 B
  559. clingo/app/clingo/tests/lua/inccsp.sol : 177 B
  560. clingo/app/clingo/tests/lua/inccsp-onmodel.sol : 177 B
  561. clingo/examples/reify/classical/encoding.lp : 176 B
  562. clingo/examples/clingo/dl/fsI.lp : 174 B
  563. clingo/examples/gringo/sort/sort-py.lp : 172 B
  564. clingo/examples/clingo/itersolve/itersolve-py.lp : 172 B
  565. clingo/examples/clingo/tmode/example.lp : 171 B
  566. clingo/app/clingo/tests/python/cover-py.sol : 171 B
  567. clingo/app/clingo/tests/lua/cover-lua.sol : 171 B
  568. clingo/examples/clingo/load/README : 169 B
  569. clingo/examples/reify/gac/glue.lp : 167 B
  570. clingo/examples/clingo/include/encoding-lua.lp : 164 B
  571. clingo/app/clingo/tests/python/propagator.sol : 162 B
  572. clingo/app/clingo/tests/lua/propagator.sol : 162 B
  573. clingo/app/clingo/tests/lua/theory.sol : 161 B
  574. clingo/app/clingo/tests/lua/assumptions2.lp : 161 B
  575. clingo/app/clingo/tests/lua/assumptions1.lp : 161 B
  576. clingo/examples/clingo/consequences/example.lp : 160 B
  577. clingo/app/clingo/tests/python/infsup.lp : 157 B
  578. clingo/app/clingo/tests/lua/incshow.sol : 157 B
  579. clingo/examples/clingo/cover/instance.lp : 154 B
  580. clingo/examples/clingo/blocksworld/control_01.lua : 153 B
  581. clingo/examples/clingo/itersolve/README : 152 B
  582. clingo/examples/clingo/addclause/README : 149 B
  583. clingo/examples/clingo/external/external.lp : 145 B
  584. clingo/examples/reify/optimization/example1.lp : 143 B
  585. clingo/app/clingo/tests/lua/inccsp.lp : 143 B
  586. clingo/examples/clingo/tmode/example2.lp : 142 B
  587. clingo/examples/clingo/setconf/README : 142 B
  588. clingo/app/clingo/tests/lp/external.sol : 138 B
  589. clingo/examples/clingo/include/README : 132 B
  590. clingo/app/clingo/tests/lua/incshow.lp : 130 B
  591. clingo/examples/clingo/external/README : 126 B
  592. clingo/app/clingo/tests/lua/unsat-sync.lp : 124 B
  593. clingo/examples/gringo/sort/encoding.lp : 123 B
  594. clingo/examples/reify/gac/examples/conformant/guess.lp : 121 B
  595. clingo/examples/clingo/pydoc/README : 120 B
  596. clingo/app/clingo/tests/python/statistics.sol : 120 B
  597. clingo/examples/reify/gac/examples/conformant/check.lp : 119 B
  598. clingo/examples/clingo/well-founded/example.lp : 117 B
  599. clingo/examples/gringo/rec-cond/README : 116 B
  600. clingo/app/clingo/tests/lp/elevator.sol : 116 B
  601. clingo/examples/gringo/queens/README : 114 B
  602. clingo/examples/gringo/subset/example.lp : 111 B
  603. clingo/app/clingo/tests/python/test-numeric.sol : 111 B
  604. clingo/app/clingo/tests/lua/test-numeric.sol : 111 B
  605. .gitmodules : 100 B
  606. clingo/examples/gringo/project/README : 99 B
  607. clingo/examples/gringo/acyc/README : 97 B
  608. clingo/examples/reify/common/README.md : 95 B
  609. clingo/examples/reify/supported/example2.lp : 94 B
  610. clingo/examples/reify/supported/example1.lp : 94 B
  611. clingo/examples/reify/classical/example2.lp : 94 B
  612. clingo/examples/reify/classical/example1.lp : 94 B
  613. clingo/examples/clingo/dot-propagator/test.lp : 93 B
  614. clingo/examples/clingo/planning/convert.sh : 90 B
  615. clingo/examples/gringo/ast/example.lp : 88 B
  616. clingo/examples/clingo/solve-async/program.lp : 87 B
  617. clingo/examples/clingo/chemistry/chemistry.lp : 87 B
  618. clingo/examples/clingo/heuristic/instance.lp : 84 B
  619. clingo/app/clingo/tests/python/iclingo.sol : 83 B
  620. clingo/app/clingo/tests/lua/theory-term-types.sol : 83 B
  621. clingo/app/clingo/tests/lua/iclingo.sol : 83 B
  622. clingo/examples/gringo/toh/tohI.lp : 80 B
  623. clingo/app/clingo/tests/python/external-lookup.sol : 78 B
  624. clingo/app/clingo/tests/python/multi.sol : 74 B
  625. clingo/examples/clingo/chemistry/external.lp : 72 B
  626. clingo/app/clingo/tests/lp/istop.lp : 72 B
  627. clingo/examples/reify/gac/examples/preferences/check_superset.lp : 70 B
  628. clingo/examples/reify/gac/examples/preferences/check_subset.lp : 70 B
  629. clingo/app/clingo/tests/lp/project.lp : 70 B
  630. clingo/app/clingo/tests/lp/external.lp : 69 B
  631. clingo/examples/clingo/gac/example.lp : 66 B
  632. clingo/app/clingo/tests/python/check-py.sol : 66 B
  633. clingo/app/clingo/tests/lua/check-lua.sol : 66 B
  634. clingo/examples/clingo/opt/tohI.lp : 64 B
  635. clingo/examples/clingo/multishot/tohI.lp : 62 B
  636. clingo/examples/clingo/stats/example.lp : 59 B
  637. clingo/app/clingo/tests/python/setconfig.sol : 59 B
  638. clingo/app/clingo/tests/lua/setconfig.sol : 59 B
  639. clingo/examples/gringo/project/example.lp : 56 B
  640. clingo/examples/gringo/acyc/instance.lp : 56 B
  641. clingo/examples/clingo/domains/instance.lp : 56 B
  642. clingo/app/clingo/tests/python/ret.sol : 56 B
  643. clingo/app/clingo/tests/lp/numbers.lp : 55 B
  644. clingo/examples/reify/gac/guess.lp : 53 B
  645. clingo/doc/py/.gitignore : 53 B
  646. clingo/app/clingo/tests/python/externals.sol : 53 B
  647. clingo/app/clingo/tests/lua/externals.sol : 53 B
  648. clingo/app/clingo/tests/python/interrupt.sol : 51 B
  649. clingo/app/clingo/tests/python/cancel.sol : 51 B
  650. clingo/examples/clingo/extending/example.lp : 50 B
  651. clingo/app/clingo/tests/python/conflicting.sol : 50 B
  652. clingo/app/clingo/tests/lua/conflicting.sol : 50 B
  653. clingo/libreify/tests/main.cc : 49 B
  654. clingo/app/clingo/tests/python/assumptions4.sol : 47 B
  655. clingo/app/clingo/tests/python/assignment.sol : 47 B
  656. clingo/app/clingo/tests/lua/assumptions4.sol : 47 B
  657. clingo/app/clingo/tests/lua/assignment.sol : 47 B
  658. clingo/libpyclingo/clingo/tests/__init__.py : 46 B
  659. clingo/app/clingo/tests/python/add-clause-py.sol : 46 B
  660. clingo/app/clingo/tests/lua/add-clause-lua.sol : 46 B
  661. clingo/app/clingo/tests/lua/icolor.sol : 45 B
  662. clingo/examples/reify/gac/examples/2qbf/guess.lp : 44 B
  663. clingo/app/clingo/tests/python/wc1.sol : 44 B
  664. clingo/app/clingo/tests/lua/wc1.sol : 44 B
  665. clingo/app/clingo/tests/lp/numbers.sol : 44 B
  666. clingo/app/clingo/tests/python/parse-term.sol : 43 B
  667. clingo/app/clingo/tests/lua/parse-term.sol : 43 B
  668. .gitignore : 43 B
  669. clingo/examples/clingo/excel/example.lp : 42 B
  670. clingo/app/clingo/tests/lua/mutex-bug.sol : 38 B
  671. clingo/examples/clingo/load/program.lp : 36 B
  672. clingo/app/clingo/tests/python/wc4.sol : 36 B
  673. clingo/app/clingo/tests/python/wc2.sol : 36 B
  674. clingo/app/clingo/tests/lua/wc4.sol : 36 B
  675. clingo/app/clingo/tests/lua/wc2.sol : 36 B
  676. clingo/app/clingo/tests/python/infsup.sol : 35 B
  677. clingo/app/clingo/tests/lua/infsup.sol : 35 B
  678. clingo/app/clingo/tests/python/wc3.sol : 33 B
  679. clingo/app/clingo/tests/lua/wc3.sol : 33 B
  680. clingo/examples/reify/simple/example.lp : 32 B
  681. clingo/app/clingo/tests/python/extend-model.sol : 32 B
  682. clingo/app/clingo/tests/lua/extend-model.sol : 32 B
  683. clingo/app/clingo/tests/python/assumptions3.sol : 31 B
  684. clingo/app/clingo/tests/lua/assumptions3.sol : 31 B
  685. clingo/app/clingo/tests/python/wc5.sol : 29 B
  686. clingo/app/clingo/tests/python/add_minimize.sol : 29 B
  687. clingo/app/clingo/tests/lua/wc5.sol : 29 B
  688. clingo/app/clingo/tests/lua/add_minimize.sol : 29 B
  689. clingo/examples/reify/gac/examples/simple/base.lp : 28 B
  690. clingo/examples/reify/gac/examples/preferences/base.lp : 28 B
  691. clingo/app/clingo/tests/python/tag.sol : 28 B
  692. clingo/examples/reify/gac/examples/tictactoe/check.lp : 27 B
  693. clingo/examples/reify/ht/example1.lp : 26 B
  694. clingo/examples/reify/gac/examples/tictactoe/guess.lp : 26 B
  695. clingo/examples/reify/austere/example.lp : 26 B
  696. clingo/app/clingo/tests/lp/project.sol : 26 B
  697. clingo/app/clingo/tests/python/core2.sol : 25 B
  698. clingo/app/clingo/tests/python/core1.sol : 25 B
  699. clingo/app/clingo/tests/lua/unsat-sync.sol : 25 B
  700. clingo/app/clingo/tests/lua/core2.sol : 25 B
  701. clingo/app/clingo/tests/lua/core1.sol : 25 B
  702. clingo/doc/py/index.md : 24 B
  703. clingo/app/clingo/tests/python/wc6.sol : 24 B
  704. clingo/app/clingo/tests/python/add_weight.sol : 24 B
  705. clingo/app/clingo/tests/lua/wc6.sol : 24 B
  706. clingo/app/clingo/tests/lua/project_bug.sol : 24 B
  707. clingo/app/clingo/tests/lua/add_weight.sol : 24 B
  708. clingo/app/clingo/tests/python/add_minimize.cmd : 23 B
  709. clingo/app/clingo/tests/lua/add_minimize.cmd : 23 B
  710. clingo/app/clingo/tests/lp/bio.cmd : 23 B
  711. clingo/examples/reify/gac/examples/simple/guess.lp : 22 B
  712. clingo/examples/reify/gac/examples/preferences/guess.lp : 22 B
  713. clingo/app/clingo/tests/python/backend_acyc.sol : 22 B
  714. clingo/app/clingo/tests/python/add_watch.sol : 22 B
  715. clingo/app/clingo/tests/lua/add_watch.sol : 22 B
  716. clingo/examples/reify/gac/examples/simple/check.lp : 21 B
  717. clingo/examples/clingo/iclingo/incmode-int.lp : 21 B
  718. clingo/app/clingo/tests/python/free.sol : 20 B
  719. clingo/app/clingo/tests/lp/subset.cmd : 20 B
  720. clingo/app/clingo/tests/python/observer.cmd : 19 B
  721. clingo/app/clingo/tests/python/backend_project.cmd : 19 B
  722. clingo/app/clingo/tests/python/assumptions2.sol : 19 B
  723. clingo/app/clingo/tests/python/assumptions1.sol : 19 B
  724. clingo/app/clingo/tests/lua/observer.cmd : 19 B
  725. clingo/app/clingo/tests/lua/assumptions2.sol : 19 B
  726. clingo/app/clingo/tests/lua/assumptions1.sol : 19 B
  727. clingo/app/clingo/tests/python/backend_project.sol : 18 B
  728. clingo/app/clingo/tests/python/backend_heuristic.sol : 17 B
  729. clingo/app/clingo/tests/python/backend_assume.sol : 17 B
  730. clingo/examples/reify/gac/domain.lp : 16 B
  731. clingo/app/clingo/tests/lp/istop.sol : 16 B
  732. clingo/app/clingo/tests/lp/aggregates.sol : 16 B
  733. clingo/examples/clingo/context/encoding.lp : 15 B
  734. clingo/app/clingo/tests/lp/project.cmd : 11 B
  735. clingo/examples/clingo/itersolve/program.lp : 10 B
  736. clingo/app/clingo/tests/lua/inccsp-onmodel.cmd : 10 B
  737. clingo/examples/clingo/include/include.lp : 7 B
  738. clingo/app/clingo/tests/python/sokoban.cmd : 7 B
  739. clingo/app/clingo/tests/python/propagator.cmd : 7 B
  740. clingo/app/clingo/tests/lua/propagator.cmd : 7 B
  741. clingo/examples/reify/ht/example2.lp : 6 B