@cyrilverloop/codingame-configuration 1.15.0 → 1.16.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (632) hide show
  1. package/CHANGELOG.md +33 -0
  2. package/config/easy/ChineseNumbers/code/CGCode.cpp +19 -0
  3. package/config/easy/ChineseNumbers/code/CGCode.java +18 -0
  4. package/config/easy/ChineseNumbers/code/CGCode.js +8 -0
  5. package/config/easy/ChineseNumbers/code/CGCode.php +10 -0
  6. package/config/easy/ChineseNumbers/code/CGCode.ts +8 -0
  7. package/config/easy/ChineseNumbers/config.json +38 -0
  8. package/config/easy/ChineseNumbers/input/01 - Teeny.txt +5 -0
  9. package/config/easy/ChineseNumbers/input/02 - Tiny.txt +5 -0
  10. package/config/easy/ChineseNumbers/input/03 - Six-digit Figure.txt +5 -0
  11. package/config/easy/ChineseNumbers/input/04 - BIG BOY.txt +5 -0
  12. package/config/easy/ChineseNumbers/input/05 - Unorganized.txt +5 -0
  13. package/config/easy/ChineseNumbers/input/06 - Phone Call.txt +5 -0
  14. package/config/easy/ChineseNumbers/output/01 - Teeny.txt +1 -0
  15. package/config/easy/ChineseNumbers/output/02 - Tiny.txt +1 -0
  16. package/config/easy/ChineseNumbers/output/03 - Six-digit Figure.txt +1 -0
  17. package/config/easy/ChineseNumbers/output/04 - BIG BOY.txt +1 -0
  18. package/config/easy/ChineseNumbers/output/05 - Unorganized.txt +1 -0
  19. package/config/easy/ChineseNumbers/output/06 - Phone Call.txt +1 -0
  20. package/config/easy/CompilerCG86EasyVersion/code/CGCode.cpp +18 -0
  21. package/config/easy/CompilerCG86EasyVersion/code/CGCode.java +17 -0
  22. package/config/easy/CompilerCG86EasyVersion/code/CGCode.js +7 -0
  23. package/config/easy/CompilerCG86EasyVersion/code/CGCode.php +8 -0
  24. package/config/easy/CompilerCG86EasyVersion/code/CGCode.ts +7 -0
  25. package/config/easy/CompilerCG86EasyVersion/config.json +53 -0
  26. package/config/easy/CompilerCG86EasyVersion/input/01 - test 1.txt +1 -0
  27. package/config/easy/CompilerCG86EasyVersion/input/02 - test 2.txt +1 -0
  28. package/config/easy/CompilerCG86EasyVersion/input/03 - test 3.txt +1 -0
  29. package/config/easy/CompilerCG86EasyVersion/input/04 - test 4.txt +1 -0
  30. package/config/easy/CompilerCG86EasyVersion/input/05 - test 5.txt +1 -0
  31. package/config/easy/CompilerCG86EasyVersion/input/06 - test 6.txt +1 -0
  32. package/config/easy/CompilerCG86EasyVersion/input/07 - test 7.txt +1 -0
  33. package/config/easy/CompilerCG86EasyVersion/input/08 - test 8.txt +1 -0
  34. package/config/easy/CompilerCG86EasyVersion/input/09 - test 9.txt +1 -0
  35. package/config/easy/CompilerCG86EasyVersion/output/01 - test 1.txt +5 -0
  36. package/config/easy/CompilerCG86EasyVersion/output/02 - test 2.txt +5 -0
  37. package/config/easy/CompilerCG86EasyVersion/output/03 - test 3.txt +3 -0
  38. package/config/easy/CompilerCG86EasyVersion/output/04 - test 4.txt +3 -0
  39. package/config/easy/CompilerCG86EasyVersion/output/05 - test 5.txt +10 -0
  40. package/config/easy/CompilerCG86EasyVersion/output/06 - test 6.txt +10 -0
  41. package/config/easy/CompilerCG86EasyVersion/output/07 - test 7.txt +18 -0
  42. package/config/easy/CompilerCG86EasyVersion/output/08 - test 8.txt +3 -0
  43. package/config/easy/CompilerCG86EasyVersion/output/09 - test 9.txt +6 -0
  44. package/config/easy/RockyPohpsConcertDate/code/CGCode.cpp +17 -0
  45. package/config/easy/RockyPohpsConcertDate/code/CGCode.java +16 -0
  46. package/config/easy/RockyPohpsConcertDate/code/CGCode.js +6 -0
  47. package/config/easy/RockyPohpsConcertDate/code/CGCode.php +7 -0
  48. package/config/easy/RockyPohpsConcertDate/code/CGCode.ts +6 -0
  49. package/config/easy/RockyPohpsConcertDate/config.json +53 -0
  50. package/config/easy/RockyPohpsConcertDate/input/01 - test 1.txt +1 -0
  51. package/config/easy/RockyPohpsConcertDate/input/02 - test 2.txt +1 -0
  52. package/config/easy/RockyPohpsConcertDate/input/03 - test 3.txt +1 -0
  53. package/config/easy/RockyPohpsConcertDate/input/04 - test 4.txt +1 -0
  54. package/config/easy/RockyPohpsConcertDate/input/05 - test 5.txt +1 -0
  55. package/config/easy/RockyPohpsConcertDate/input/06 - test 6.txt +1 -0
  56. package/config/easy/RockyPohpsConcertDate/input/07 - test 7.txt +1 -0
  57. package/config/easy/RockyPohpsConcertDate/input/08 - test 8.txt +1 -0
  58. package/config/easy/RockyPohpsConcertDate/input/09 - test 9.txt +1 -0
  59. package/config/easy/RockyPohpsConcertDate/output/01 - test 1.txt +1 -0
  60. package/config/easy/RockyPohpsConcertDate/output/02 - test 2.txt +1 -0
  61. package/config/easy/RockyPohpsConcertDate/output/03 - test 3.txt +1 -0
  62. package/config/easy/RockyPohpsConcertDate/output/04 - test 4.txt +1 -0
  63. package/config/easy/RockyPohpsConcertDate/output/05 - test 5.txt +1 -0
  64. package/config/easy/RockyPohpsConcertDate/output/06 - test 6.txt +1 -0
  65. package/config/easy/RockyPohpsConcertDate/output/07 - test 7.txt +1 -0
  66. package/config/easy/RockyPohpsConcertDate/output/08 - test 8.txt +1 -0
  67. package/config/easy/RockyPohpsConcertDate/output/09 - test 9.txt +1 -0
  68. package/config/easy/TouchingBalls/code/CGCode.cpp +24 -0
  69. package/config/easy/TouchingBalls/code/CGCode.java +22 -0
  70. package/config/easy/TouchingBalls/code/CGCode.js +13 -0
  71. package/config/easy/TouchingBalls/code/CGCode.php +11 -0
  72. package/config/easy/TouchingBalls/code/CGCode.ts +13 -0
  73. package/config/easy/TouchingBalls/config.json +33 -0
  74. package/config/easy/TouchingBalls/input/01 - test 1.txt +3 -0
  75. package/config/easy/TouchingBalls/input/02 - test 2.txt +6 -0
  76. package/config/easy/TouchingBalls/input/03 - test 3.txt +26 -0
  77. package/config/easy/TouchingBalls/input/04 - test 4.txt +51 -0
  78. package/config/easy/TouchingBalls/input/05 - test 5.txt +101 -0
  79. package/config/easy/TouchingBalls/output/01 - test 1.txt +1 -0
  80. package/config/easy/TouchingBalls/output/02 - test 2.txt +1 -0
  81. package/config/easy/TouchingBalls/output/03 - test 3.txt +1 -0
  82. package/config/easy/TouchingBalls/output/04 - test 4.txt +1 -0
  83. package/config/easy/TouchingBalls/output/05 - test 5.txt +1 -0
  84. package/config/easy/WhoIsLeading/code/CGCode.cpp +23 -0
  85. package/config/easy/WhoIsLeading/code/CGCode.java +20 -0
  86. package/config/easy/WhoIsLeading/code/CGCode.js +10 -0
  87. package/config/easy/WhoIsLeading/code/CGCode.php +12 -0
  88. package/config/easy/WhoIsLeading/code/CGCode.ts +10 -0
  89. package/config/easy/WhoIsLeading/config.json +33 -0
  90. package/config/easy/WhoIsLeading/input/01 - Example.txt +3 -0
  91. package/config/easy/WhoIsLeading/input/02 - England Argentina.txt +3 -0
  92. package/config/easy/WhoIsLeading/input/03 - France South Africa.txt +3 -0
  93. package/config/easy/WhoIsLeading/input/04 - New Zealand Uruguay.txt +3 -0
  94. package/config/easy/WhoIsLeading/input/05 - Perfect Tie.txt +3 -0
  95. package/config/easy/WhoIsLeading/output/01 - Example.txt +2 -0
  96. package/config/easy/WhoIsLeading/output/02 - England Argentina.txt +2 -0
  97. package/config/easy/WhoIsLeading/output/03 - France South Africa.txt +2 -0
  98. package/config/easy/WhoIsLeading/output/04 - New Zealand Uruguay.txt +2 -0
  99. package/config/easy/WhoIsLeading/output/05 - Perfect Tie.txt +2 -0
  100. package/config/hard/AManWithAPlan/code/CGCode.cpp +31 -0
  101. package/config/hard/AManWithAPlan/code/CGCode.java +30 -0
  102. package/config/hard/AManWithAPlan/code/CGCode.js +19 -0
  103. package/config/hard/AManWithAPlan/code/CGCode.php +16 -0
  104. package/config/hard/AManWithAPlan/code/CGCode.ts +19 -0
  105. package/config/hard/AManWithAPlan/config.json +48 -0
  106. package/config/hard/AManWithAPlan/input/01 - Run to the Hills.txt +10 -0
  107. package/config/hard/AManWithAPlan/input/02 - Hall of the Mountain King.txt +11 -0
  108. package/config/hard/AManWithAPlan/input/03 - The River.txt +11 -0
  109. package/config/hard/AManWithAPlan/input/04 - Rise of the Chaos Wizards.txt +11 -0
  110. package/config/hard/AManWithAPlan/input/05 - Iron Man.txt +12 -0
  111. package/config/hard/AManWithAPlan/input/06 - To Hell and Back.txt +14 -0
  112. package/config/hard/AManWithAPlan/input/07 - Thunderhorse.txt +21 -0
  113. package/config/hard/AManWithAPlan/input/08 - Carry On.txt +19 -0
  114. package/config/hard/AManWithAPlan/output/01 - Run to the Hills.txt +1 -0
  115. package/config/hard/AManWithAPlan/output/02 - Hall of the Mountain King.txt +1 -0
  116. package/config/hard/AManWithAPlan/output/03 - The River.txt +1 -0
  117. package/config/hard/AManWithAPlan/output/04 - Rise of the Chaos Wizards.txt +1 -0
  118. package/config/hard/AManWithAPlan/output/05 - Iron Man.txt +1 -0
  119. package/config/hard/AManWithAPlan/output/06 - To Hell and Back.txt +1 -0
  120. package/config/hard/AManWithAPlan/output/07 - Thunderhorse.txt +1 -0
  121. package/config/hard/AManWithAPlan/output/08 - Carry On.txt +1 -0
  122. package/config/hard/BaileyBorweinPlouffePi/code/CGCode.cpp +17 -0
  123. package/config/hard/BaileyBorweinPlouffePi/code/CGCode.java +16 -0
  124. package/config/hard/BaileyBorweinPlouffePi/code/CGCode.js +6 -0
  125. package/config/hard/BaileyBorweinPlouffePi/code/CGCode.php +7 -0
  126. package/config/hard/BaileyBorweinPlouffePi/code/CGCode.ts +6 -0
  127. package/config/hard/BaileyBorweinPlouffePi/config.json +53 -0
  128. package/config/hard/BaileyBorweinPlouffePi/input/01 - Very Small Value.txt +1 -0
  129. package/config/hard/BaileyBorweinPlouffePi/input/02 - Small Value 1.txt +1 -0
  130. package/config/hard/BaileyBorweinPlouffePi/input/03 - Small Value 2.txt +1 -0
  131. package/config/hard/BaileyBorweinPlouffePi/input/04 - This is for anti hardcoding.txt +1 -0
  132. package/config/hard/BaileyBorweinPlouffePi/input/05 - test 5.txt +1 -0
  133. package/config/hard/BaileyBorweinPlouffePi/input/06 - test 6.txt +1 -0
  134. package/config/hard/BaileyBorweinPlouffePi/input/07 - test 7.txt +1 -0
  135. package/config/hard/BaileyBorweinPlouffePi/input/08 - test 8.txt +1 -0
  136. package/config/hard/BaileyBorweinPlouffePi/input/09 - Big Numbers.txt +1 -0
  137. package/config/hard/BaileyBorweinPlouffePi/output/01 - Very Small Value.txt +1 -0
  138. package/config/hard/BaileyBorweinPlouffePi/output/02 - Small Value 1.txt +1 -0
  139. package/config/hard/BaileyBorweinPlouffePi/output/03 - Small Value 2.txt +1 -0
  140. package/config/hard/BaileyBorweinPlouffePi/output/04 - This is for anti hardcoding.txt +1 -0
  141. package/config/hard/BaileyBorweinPlouffePi/output/05 - test 5.txt +1 -0
  142. package/config/hard/BaileyBorweinPlouffePi/output/06 - test 6.txt +1 -0
  143. package/config/hard/BaileyBorweinPlouffePi/output/07 - test 7.txt +1 -0
  144. package/config/hard/BaileyBorweinPlouffePi/output/08 - test 8.txt +1 -0
  145. package/config/hard/BaileyBorweinPlouffePi/output/09 - Big Numbers.txt +1 -0
  146. package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.cpp +37 -0
  147. package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.java +34 -0
  148. package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.js +26 -0
  149. package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.php +23 -0
  150. package/config/hard/BinaryNeuralNetworkPart1/code/CGCode.ts +26 -0
  151. package/config/hard/BinaryNeuralNetworkPart1/config.json +58 -0
  152. package/config/hard/BinaryNeuralNetworkPart1/input/01 - Copycat.txt +6 -0
  153. package/config/hard/BinaryNeuralNetworkPart1/input/02 - Opposite.txt +6 -0
  154. package/config/hard/BinaryNeuralNetworkPart1/input/03 - Or.txt +10 -0
  155. package/config/hard/BinaryNeuralNetworkPart1/input/04 - And.txt +10 -0
  156. package/config/hard/BinaryNeuralNetworkPart1/input/05 - Reverse bits.txt +18 -0
  157. package/config/hard/BinaryNeuralNetworkPart1/input/06 - Is odd.txt +74 -0
  158. package/config/hard/BinaryNeuralNetworkPart1/input/07 - One hidden layer.txt +6 -0
  159. package/config/hard/BinaryNeuralNetworkPart1/input/08 - Xor.txt +10 -0
  160. package/config/hard/BinaryNeuralNetworkPart1/input/09 - Average.txt +86 -0
  161. package/config/hard/BinaryNeuralNetworkPart1/input/10 - Two hidden layers.txt +34 -0
  162. package/config/hard/BinaryNeuralNetworkPart1/output/01 - Copycat.txt +2 -0
  163. package/config/hard/BinaryNeuralNetworkPart1/output/02 - Opposite.txt +2 -0
  164. package/config/hard/BinaryNeuralNetworkPart1/output/03 - Or.txt +4 -0
  165. package/config/hard/BinaryNeuralNetworkPart1/output/04 - And.txt +4 -0
  166. package/config/hard/BinaryNeuralNetworkPart1/output/05 - Reverse bits.txt +8 -0
  167. package/config/hard/BinaryNeuralNetworkPart1/output/06 - Is odd.txt +8 -0
  168. package/config/hard/BinaryNeuralNetworkPart1/output/07 - One hidden layer.txt +2 -0
  169. package/config/hard/BinaryNeuralNetworkPart1/output/08 - Xor.txt +4 -0
  170. package/config/hard/BinaryNeuralNetworkPart1/output/09 - Average.txt +4 -0
  171. package/config/hard/BinaryNeuralNetworkPart1/output/10 - Two hidden layers.txt +16 -0
  172. package/config/hard/CheatSolving/code/CGCode.cpp +19 -0
  173. package/config/hard/CheatSolving/code/CGCode.java +18 -0
  174. package/config/hard/CheatSolving/code/CGCode.js +8 -0
  175. package/config/hard/CheatSolving/code/CGCode.php +10 -0
  176. package/config/hard/CheatSolving/code/CGCode.ts +8 -0
  177. package/config/hard/CheatSolving/config.json +78 -0
  178. package/config/hard/CheatSolving/input/01 - L2 D R/342/200/262 D/342/200/262 F/342/200/262 D/342/200/262 R D/342/200/262 R2 F2.txt" +11 -0
  179. package/config/hard/CheatSolving/input/02 - UF flip, URF twist on y2.txt +11 -0
  180. package/config/hard/CheatSolving/input/03 - Edge case 1.txt +11 -0
  181. package/config/hard/CheatSolving/input/04 - Edge case 2.txt +11 -0
  182. package/config/hard/CheatSolving/input/05 - Corner case 1.txt +11 -0
  183. package/config/hard/CheatSolving/input/06 - Corner case 2.txt +11 -0
  184. package/config/hard/CheatSolving/input/07 - Corner case 3.txt +11 -0
  185. package/config/hard/CheatSolving/input/08 - F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
  186. package/config/hard/CheatSolving/input/09 - Edge case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
  187. package/config/hard/CheatSolving/input/10 - Edge case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
  188. package/config/hard/CheatSolving/input/11 - Corner case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
  189. package/config/hard/CheatSolving/input/12 - Corner case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
  190. package/config/hard/CheatSolving/input/13 - Corner case 3 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +11 -0
  191. package/config/hard/CheatSolving/input/14 - Sticker Salad.txt +11 -0
  192. package/config/hard/CheatSolving/output/01 - L2 D R/342/200/262 D/342/200/262 F/342/200/262 D/342/200/262 R D/342/200/262 R2 F2.txt" +1 -0
  193. package/config/hard/CheatSolving/output/02 - UF flip, URF twist on y2.txt +1 -0
  194. package/config/hard/CheatSolving/output/03 - Edge case 1.txt +1 -0
  195. package/config/hard/CheatSolving/output/04 - Edge case 2.txt +1 -0
  196. package/config/hard/CheatSolving/output/05 - Corner case 1.txt +1 -0
  197. package/config/hard/CheatSolving/output/06 - Corner case 2.txt +1 -0
  198. package/config/hard/CheatSolving/output/07 - Corner case 3.txt +1 -0
  199. package/config/hard/CheatSolving/output/08 - F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
  200. package/config/hard/CheatSolving/output/09 - Edge case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
  201. package/config/hard/CheatSolving/output/10 - Edge case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
  202. package/config/hard/CheatSolving/output/11 - Corner case 1 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
  203. package/config/hard/CheatSolving/output/12 - Corner case 2 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
  204. package/config/hard/CheatSolving/output/13 - Corner case 3 on F U2 R2 U/342/200/262 B2 U/342/200/262 L2 U2 B2 R2 U2 B/342/200/262 L B F2 L R F2 D/342/200/262 F2.txt" +1 -0
  205. package/config/hard/CheatSolving/output/14 - Sticker Salad.txt +1 -0
  206. package/config/hard/ChessMovesOnFENPosition/code/CGCode.cpp +23 -0
  207. package/config/hard/ChessMovesOnFENPosition/code/CGCode.java +23 -0
  208. package/config/hard/ChessMovesOnFENPosition/code/CGCode.js +10 -0
  209. package/config/hard/ChessMovesOnFENPosition/code/CGCode.php +12 -0
  210. package/config/hard/ChessMovesOnFENPosition/code/CGCode.ts +10 -0
  211. package/config/hard/ChessMovesOnFENPosition/config.json +33 -0
  212. package/config/hard/ChessMovesOnFENPosition/input/01 - Starting position 1 move.txt +3 -0
  213. package/config/hard/ChessMovesOnFENPosition/input/02 - Starting position several moves.txt +5 -0
  214. package/config/hard/ChessMovesOnFENPosition/input/03 - Castling.txt +4 -0
  215. package/config/hard/ChessMovesOnFENPosition/input/04 - En passant.txt +4 -0
  216. package/config/hard/ChessMovesOnFENPosition/input/05 - Pawn promotion.txt +4 -0
  217. package/config/hard/ChessMovesOnFENPosition/output/01 - Starting position 1 move.txt +1 -0
  218. package/config/hard/ChessMovesOnFENPosition/output/02 - Starting position several moves.txt +1 -0
  219. package/config/hard/ChessMovesOnFENPosition/output/03 - Castling.txt +1 -0
  220. package/config/hard/ChessMovesOnFENPosition/output/04 - En passant.txt +1 -0
  221. package/config/hard/ChessMovesOnFENPosition/output/05 - Pawn promotion.txt +1 -0
  222. package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.cpp +23 -0
  223. package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.java +21 -0
  224. package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.js +12 -0
  225. package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.php +11 -0
  226. package/config/hard/DivisibilityOfFibonacciNumbersSum/code/CGCode.ts +12 -0
  227. package/config/hard/DivisibilityOfFibonacciNumbersSum/config.json +53 -0
  228. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/01 - First example.txt +14 -0
  229. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/02 - Other example.txt +25 -0
  230. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/03 - Big numbers.txt +26 -0
  231. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/04 - Even big numbers.txt +24 -0
  232. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/05 - Larger indices.txt +17 -0
  233. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/06 - Even larger indices.txt +14 -0
  234. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/07 - Become really big.txt +21 -0
  235. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/08 - Really huge.txt +14 -0
  236. package/config/hard/DivisibilityOfFibonacciNumbersSum/input/09 - Other really huge.txt +19 -0
  237. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/01 - First example.txt +13 -0
  238. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/02 - Other example.txt +24 -0
  239. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/03 - Big numbers.txt +25 -0
  240. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/04 - Even big numbers.txt +23 -0
  241. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/05 - Larger indices.txt +16 -0
  242. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/06 - Even larger indices.txt +13 -0
  243. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/07 - Become really big.txt +20 -0
  244. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/08 - Really huge.txt +13 -0
  245. package/config/hard/DivisibilityOfFibonacciNumbersSum/output/09 - Other really huge.txt +18 -0
  246. package/config/hard/DominoesSolver/code/CGCode.cpp +26 -0
  247. package/config/hard/DominoesSolver/code/CGCode.java +26 -0
  248. package/config/hard/DominoesSolver/code/CGCode.js +14 -0
  249. package/config/hard/DominoesSolver/code/CGCode.php +15 -0
  250. package/config/hard/DominoesSolver/code/CGCode.ts +14 -0
  251. package/config/hard/DominoesSolver/config.json +38 -0
  252. package/config/hard/DominoesSolver/input/01 - test 1.txt +4 -0
  253. package/config/hard/DominoesSolver/input/02 - test 2.txt +5 -0
  254. package/config/hard/DominoesSolver/input/03 - test 3.txt +6 -0
  255. package/config/hard/DominoesSolver/input/04 - test 4.txt +7 -0
  256. package/config/hard/DominoesSolver/input/05 - test 5.txt +8 -0
  257. package/config/hard/DominoesSolver/input/06 - test 6.txt +9 -0
  258. package/config/hard/DominoesSolver/output/01 - test 1.txt +2 -0
  259. package/config/hard/DominoesSolver/output/02 - test 2.txt +3 -0
  260. package/config/hard/DominoesSolver/output/03 - test 3.txt +4 -0
  261. package/config/hard/DominoesSolver/output/04 - test 4.txt +5 -0
  262. package/config/hard/DominoesSolver/output/05 - test 5.txt +6 -0
  263. package/config/hard/DominoesSolver/output/06 - test 6.txt +7 -0
  264. package/config/hard/ExpandThePolynomial/code/CGCode.cpp +17 -0
  265. package/config/hard/ExpandThePolynomial/code/CGCode.java +16 -0
  266. package/config/hard/ExpandThePolynomial/code/CGCode.js +6 -0
  267. package/config/hard/ExpandThePolynomial/code/CGCode.php +7 -0
  268. package/config/hard/ExpandThePolynomial/code/CGCode.ts +6 -0
  269. package/config/hard/ExpandThePolynomial/config.json +43 -0
  270. package/config/hard/ExpandThePolynomial/input/01 - Simple product.txt +1 -0
  271. package/config/hard/ExpandThePolynomial/input/02 - Square.txt +1 -0
  272. package/config/hard/ExpandThePolynomial/input/03 - With ax.txt +1 -0
  273. package/config/hard/ExpandThePolynomial/input/04 - Null coef.txt +1 -0
  274. package/config/hard/ExpandThePolynomial/input/05 - Bigger degree.txt +1 -0
  275. package/config/hard/ExpandThePolynomial/input/06 - Cyclotomic polynomial.txt +1 -0
  276. package/config/hard/ExpandThePolynomial/input/07 - Monomial with no integer.txt +1 -0
  277. package/config/hard/ExpandThePolynomial/output/01 - Simple product.txt +1 -0
  278. package/config/hard/ExpandThePolynomial/output/02 - Square.txt +1 -0
  279. package/config/hard/ExpandThePolynomial/output/03 - With ax.txt +1 -0
  280. package/config/hard/ExpandThePolynomial/output/04 - Null coef.txt +1 -0
  281. package/config/hard/ExpandThePolynomial/output/05 - Bigger degree.txt +1 -0
  282. package/config/hard/ExpandThePolynomial/output/06 - Cyclotomic polynomial.txt +1 -0
  283. package/config/hard/ExpandThePolynomial/output/07 - Monomial with no integer.txt +1 -0
  284. package/config/hard/Gerrymandering/code/CGCode.cpp +24 -0
  285. package/config/hard/Gerrymandering/code/CGCode.java +22 -0
  286. package/config/hard/Gerrymandering/code/CGCode.js +14 -0
  287. package/config/hard/Gerrymandering/code/CGCode.php +15 -0
  288. package/config/hard/Gerrymandering/code/CGCode.ts +14 -0
  289. package/config/hard/Gerrymandering/config.json +33 -0
  290. package/config/hard/Gerrymandering/input/01 - Small county.txt +5 -0
  291. package/config/hard/Gerrymandering/input/02 - Chile.txt +6 -0
  292. package/config/hard/Gerrymandering/input/03 - Medium.txt +11 -0
  293. package/config/hard/Gerrymandering/input/04 - Large 1.txt +21 -0
  294. package/config/hard/Gerrymandering/input/05 - Large 2.txt +41 -0
  295. package/config/hard/Gerrymandering/output/01 - Small county.txt +1 -0
  296. package/config/hard/Gerrymandering/output/02 - Chile.txt +1 -0
  297. package/config/hard/Gerrymandering/output/03 - Medium.txt +1 -0
  298. package/config/hard/Gerrymandering/output/04 - Large 1.txt +1 -0
  299. package/config/hard/Gerrymandering/output/05 - Large 2.txt +1 -0
  300. package/config/hard/GridClimbing/code/CGCode.cpp +23 -0
  301. package/config/hard/GridClimbing/code/CGCode.java +23 -0
  302. package/config/hard/GridClimbing/code/CGCode.js +10 -0
  303. package/config/hard/GridClimbing/code/CGCode.php +12 -0
  304. package/config/hard/GridClimbing/code/CGCode.ts +10 -0
  305. package/config/hard/GridClimbing/config.json +88 -0
  306. package/config/hard/GridClimbing/input/01 - N = 3 (Example).txt +5 -0
  307. package/config/hard/GridClimbing/input/02 - N = 4 (Special).txt +6 -0
  308. package/config/hard/GridClimbing/input/03 - N = 5 (Special).txt +7 -0
  309. package/config/hard/GridClimbing/input/04 - N = 5 (Special bis).txt +7 -0
  310. package/config/hard/GridClimbing/input/05 - You actually can go back.txt +8 -0
  311. package/config/hard/GridClimbing/input/06 - N = 6.txt +8 -0
  312. package/config/hard/GridClimbing/input/07 - N = 7.txt +9 -0
  313. package/config/hard/GridClimbing/input/08 - N = 8.txt +10 -0
  314. package/config/hard/GridClimbing/input/09 - N = 9.txt +11 -0
  315. package/config/hard/GridClimbing/input/10 - N = 10.txt +12 -0
  316. package/config/hard/GridClimbing/input/11 - N = 15.txt +17 -0
  317. package/config/hard/GridClimbing/input/12 - N = 20, no obstacles.txt +22 -0
  318. package/config/hard/GridClimbing/input/13 - N = 20, obstacles.txt +22 -0
  319. package/config/hard/GridClimbing/input/14 - N = 30.txt +32 -0
  320. package/config/hard/GridClimbing/input/15 - N = 40.txt +42 -0
  321. package/config/hard/GridClimbing/input/16 - N = 40, the biggest jump.txt +42 -0
  322. package/config/hard/GridClimbing/output/01 - N = 3 (Example).txt +1 -0
  323. package/config/hard/GridClimbing/output/02 - N = 4 (Special).txt +1 -0
  324. package/config/hard/GridClimbing/output/03 - N = 5 (Special).txt +1 -0
  325. package/config/hard/GridClimbing/output/04 - N = 5 (Special bis).txt +1 -0
  326. package/config/hard/GridClimbing/output/05 - You actually can go back.txt +1 -0
  327. package/config/hard/GridClimbing/output/06 - N = 6.txt +1 -0
  328. package/config/hard/GridClimbing/output/07 - N = 7.txt +1 -0
  329. package/config/hard/GridClimbing/output/08 - N = 8.txt +1 -0
  330. package/config/hard/GridClimbing/output/09 - N = 9.txt +1 -0
  331. package/config/hard/GridClimbing/output/10 - N = 10.txt +1 -0
  332. package/config/hard/GridClimbing/output/11 - N = 15.txt +1 -0
  333. package/config/hard/GridClimbing/output/12 - N = 20, no obstacles.txt +1 -0
  334. package/config/hard/GridClimbing/output/13 - N = 20, obstacles.txt +1 -0
  335. package/config/hard/GridClimbing/output/14 - N = 30.txt +1 -0
  336. package/config/hard/GridClimbing/output/15 - N = 40.txt +1 -0
  337. package/config/hard/GridClimbing/output/16 - N = 40, the biggest jump.txt +1 -0
  338. package/config/hard/HillNotationAndHillOrder/code/CGCode.cpp +21 -0
  339. package/config/hard/HillNotationAndHillOrder/code/CGCode.java +22 -0
  340. package/config/hard/HillNotationAndHillOrder/code/CGCode.js +9 -0
  341. package/config/hard/HillNotationAndHillOrder/code/CGCode.php +11 -0
  342. package/config/hard/HillNotationAndHillOrder/code/CGCode.ts +9 -0
  343. package/config/hard/HillNotationAndHillOrder/config.json +33 -0
  344. package/config/hard/HillNotationAndHillOrder/input/01 - Simple Sort.txt +4 -0
  345. package/config/hard/HillNotationAndHillOrder/input/02 - Quantity Sort.txt +7 -0
  346. package/config/hard/HillNotationAndHillOrder/input/03 - Duplicates.txt +4 -0
  347. package/config/hard/HillNotationAndHillOrder/input/04 - Bigger Sort.txt +11 -0
  348. package/config/hard/HillNotationAndHillOrder/input/05 - Parenthesis.txt +4 -0
  349. package/config/hard/HillNotationAndHillOrder/output/01 - Simple Sort.txt +3 -0
  350. package/config/hard/HillNotationAndHillOrder/output/02 - Quantity Sort.txt +6 -0
  351. package/config/hard/HillNotationAndHillOrder/output/03 - Duplicates.txt +1 -0
  352. package/config/hard/HillNotationAndHillOrder/output/04 - Bigger Sort.txt +10 -0
  353. package/config/hard/HillNotationAndHillOrder/output/05 - Parenthesis.txt +3 -0
  354. package/config/hard/HitTheRoad/code/CGCode.cpp +34 -0
  355. package/config/hard/HitTheRoad/code/CGCode.java +30 -0
  356. package/config/hard/HitTheRoad/code/CGCode.js +24 -0
  357. package/config/hard/HitTheRoad/code/CGCode.php +16 -0
  358. package/config/hard/HitTheRoad/code/CGCode.ts +24 -0
  359. package/config/hard/HitTheRoad/config.json +43 -0
  360. package/config/hard/HitTheRoad/input/01 - Example 1.txt +20 -0
  361. package/config/hard/HitTheRoad/input/02 - Example 2.txt +19 -0
  362. package/config/hard/HitTheRoad/input/03 - Half turn.txt +17 -0
  363. package/config/hard/HitTheRoad/input/04 - No time windows everywhere.txt +13 -0
  364. package/config/hard/HitTheRoad/input/05 - Unreachable.txt +2 -0
  365. package/config/hard/HitTheRoad/input/06 - Example 3.txt +28 -0
  366. package/config/hard/HitTheRoad/input/07 - Example 4.txt +20 -0
  367. package/config/hard/HitTheRoad/output/01 - Example 1.txt +1 -0
  368. package/config/hard/HitTheRoad/output/02 - Example 2.txt +1 -0
  369. package/config/hard/HitTheRoad/output/03 - Half turn.txt +1 -0
  370. package/config/hard/HitTheRoad/output/04 - No time windows everywhere.txt +1 -0
  371. package/config/hard/HitTheRoad/output/05 - Unreachable.txt +1 -0
  372. package/config/hard/HitTheRoad/output/06 - Example 3.txt +1 -0
  373. package/config/hard/HitTheRoad/output/07 - Example 4.txt +1 -0
  374. package/config/hard/HornSATSolver/code/CGCode.cpp +24 -0
  375. package/config/hard/HornSATSolver/code/CGCode.java +25 -0
  376. package/config/hard/HornSATSolver/code/CGCode.js +13 -0
  377. package/config/hard/HornSATSolver/code/CGCode.php +11 -0
  378. package/config/hard/HornSATSolver/code/CGCode.ts +13 -0
  379. package/config/hard/HornSATSolver/config.json +53 -0
  380. package/config/hard/HornSATSolver/input/01 - short sat.txt +9 -0
  381. package/config/hard/HornSATSolver/input/02 - short unsat.txt +8 -0
  382. package/config/hard/HornSATSolver/input/03 - empty clause.txt +10 -0
  383. package/config/hard/HornSATSolver/input/04 - medium sat.txt +91 -0
  384. package/config/hard/HornSATSolver/input/05 - medium unsat.txt +92 -0
  385. package/config/hard/HornSATSolver/input/06 - huge sat.txt +383 -0
  386. package/config/hard/HornSATSolver/input/07 - huge unsat.txt +428 -0
  387. package/config/hard/HornSATSolver/input/08 - only one non-unit clause.txt +2 -0
  388. package/config/hard/HornSATSolver/input/09 - negative literals only.txt +3 -0
  389. package/config/hard/HornSATSolver/output/01 - short sat.txt +2 -0
  390. package/config/hard/HornSATSolver/output/02 - short unsat.txt +1 -0
  391. package/config/hard/HornSATSolver/output/03 - empty clause.txt +1 -0
  392. package/config/hard/HornSATSolver/output/04 - medium sat.txt +2 -0
  393. package/config/hard/HornSATSolver/output/05 - medium unsat.txt +1 -0
  394. package/config/hard/HornSATSolver/output/06 - huge sat.txt +2 -0
  395. package/config/hard/HornSATSolver/output/07 - huge unsat.txt +1 -0
  396. package/config/hard/HornSATSolver/output/08 - only one non-unit clause.txt +2 -0
  397. package/config/hard/HornSATSolver/output/09 - negative literals only.txt +2 -0
  398. package/config/hard/InertiaRide/code/CGCode.cpp +24 -0
  399. package/config/hard/InertiaRide/code/CGCode.java +24 -0
  400. package/config/hard/InertiaRide/code/CGCode.js +12 -0
  401. package/config/hard/InertiaRide/code/CGCode.php +12 -0
  402. package/config/hard/InertiaRide/code/CGCode.ts +12 -0
  403. package/config/hard/InertiaRide/config.json +48 -0
  404. package/config/hard/InertiaRide/input/01 - Basic roller coaster.txt +6 -0
  405. package/config/hard/InertiaRide/input/02 - Not enough inertia.txt +6 -0
  406. package/config/hard/InertiaRide/input/03 - Failed start.txt +5 -0
  407. package/config/hard/InertiaRide/input/04 - Back to the start.txt +8 -0
  408. package/config/hard/InertiaRide/input/05 - Ups and downs.txt +9 -0
  409. package/config/hard/InertiaRide/input/06 - Good roller coaster.txt +13 -0
  410. package/config/hard/InertiaRide/input/07 - Unstable balance.txt +7 -0
  411. package/config/hard/InertiaRide/input/08 - Huge roller coaster.txt +17 -0
  412. package/config/hard/InertiaRide/output/01 - Basic roller coaster.txt +1 -0
  413. package/config/hard/InertiaRide/output/02 - Not enough inertia.txt +1 -0
  414. package/config/hard/InertiaRide/output/03 - Failed start.txt +1 -0
  415. package/config/hard/InertiaRide/output/04 - Back to the start.txt +1 -0
  416. package/config/hard/InertiaRide/output/05 - Ups and downs.txt +1 -0
  417. package/config/hard/InertiaRide/output/06 - Good roller coaster.txt +1 -0
  418. package/config/hard/InertiaRide/output/07 - Unstable balance.txt +1 -0
  419. package/config/hard/InertiaRide/output/08 - Huge roller coaster.txt +1 -0
  420. package/config/hard/KolakoskiSequence/code/CGCode.cpp +20 -0
  421. package/config/hard/KolakoskiSequence/code/CGCode.java +18 -0
  422. package/config/hard/KolakoskiSequence/code/CGCode.js +9 -0
  423. package/config/hard/KolakoskiSequence/code/CGCode.php +8 -0
  424. package/config/hard/KolakoskiSequence/code/CGCode.ts +9 -0
  425. package/config/hard/KolakoskiSequence/config.json +28 -0
  426. package/config/hard/KolakoskiSequence/input/01 - Simple.txt +2 -0
  427. package/config/hard/KolakoskiSequence/input/02 - More symbols.txt +2 -0
  428. package/config/hard/KolakoskiSequence/input/03 - Small sequence.txt +2 -0
  429. package/config/hard/KolakoskiSequence/input/04 - Big test.txt +2 -0
  430. package/config/hard/KolakoskiSequence/output/01 - Simple.txt +1 -0
  431. package/config/hard/KolakoskiSequence/output/02 - More symbols.txt +1 -0
  432. package/config/hard/KolakoskiSequence/output/03 - Small sequence.txt +1 -0
  433. package/config/hard/KolakoskiSequence/output/04 - Big test.txt +1 -0
  434. package/config/hard/NQueens/code/CGCode.cpp +17 -0
  435. package/config/hard/NQueens/code/CGCode.java +16 -0
  436. package/config/hard/NQueens/code/CGCode.js +6 -0
  437. package/config/hard/NQueens/code/CGCode.php +7 -0
  438. package/config/hard/NQueens/code/CGCode.ts +6 -0
  439. package/config/hard/NQueens/config.json +28 -0
  440. package/config/hard/NQueens/input/01 - Simple and possible.txt +1 -0
  441. package/config/hard/NQueens/input/02 - Simple and impossible.txt +1 -0
  442. package/config/hard/NQueens/input/03 - Classic chess.txt +1 -0
  443. package/config/hard/NQueens/input/04 - Bigger.txt +1 -0
  444. package/config/hard/NQueens/output/01 - Simple and possible.txt +1 -0
  445. package/config/hard/NQueens/output/02 - Simple and impossible.txt +1 -0
  446. package/config/hard/NQueens/output/03 - Classic chess.txt +1 -0
  447. package/config/hard/NQueens/output/04 - Bigger.txt +1 -0
  448. package/config/hard/OrderOfOopserations/code/CGCode.cpp +17 -0
  449. package/config/hard/OrderOfOopserations/code/CGCode.java +16 -0
  450. package/config/hard/OrderOfOopserations/code/CGCode.js +6 -0
  451. package/config/hard/OrderOfOopserations/code/CGCode.php +7 -0
  452. package/config/hard/OrderOfOopserations/code/CGCode.ts +6 -0
  453. package/config/hard/OrderOfOopserations/config.json +43 -0
  454. package/config/hard/OrderOfOopserations/input/01 - A simple test.txt +1 -0
  455. package/config/hard/OrderOfOopserations/input/02 - Order Matters.txt +1 -0
  456. package/config/hard/OrderOfOopserations/input/03 - Negatives.txt +1 -0
  457. package/config/hard/OrderOfOopserations/input/04 - The answer to everything.txt +1 -0
  458. package/config/hard/OrderOfOopserations/input/05 - A long test.txt +1 -0
  459. package/config/hard/OrderOfOopserations/input/06 - Up and down.txt +1 -0
  460. package/config/hard/OrderOfOopserations/input/07 - First is last.txt +1 -0
  461. package/config/hard/OrderOfOopserations/output/01 - A simple test.txt +1 -0
  462. package/config/hard/OrderOfOopserations/output/02 - Order Matters.txt +1 -0
  463. package/config/hard/OrderOfOopserations/output/03 - Negatives.txt +1 -0
  464. package/config/hard/OrderOfOopserations/output/04 - The answer to everything.txt +1 -0
  465. package/config/hard/OrderOfOopserations/output/05 - A long test.txt +1 -0
  466. package/config/hard/OrderOfOopserations/output/06 - Up and down.txt +1 -0
  467. package/config/hard/OrderOfOopserations/output/07 - First is last.txt +1 -0
  468. package/config/hard/ParsingContextFreeGrammar/code/CGCode.cpp +29 -0
  469. package/config/hard/ParsingContextFreeGrammar/code/CGCode.java +27 -0
  470. package/config/hard/ParsingContextFreeGrammar/code/CGCode.js +14 -0
  471. package/config/hard/ParsingContextFreeGrammar/code/CGCode.php +17 -0
  472. package/config/hard/ParsingContextFreeGrammar/code/CGCode.ts +14 -0
  473. package/config/hard/ParsingContextFreeGrammar/config.json +38 -0
  474. package/config/hard/ParsingContextFreeGrammar/input/01 - Well-formed brackets.txt +19 -0
  475. package/config/hard/ParsingContextFreeGrammar/input/02 - Well-formed brackets - ambiguous.txt +28 -0
  476. package/config/hard/ParsingContextFreeGrammar/input/03 - Small grammar, many short tests.txt +83 -0
  477. package/config/hard/ParsingContextFreeGrammar/input/04 - Large grammar, many medium tests.txt +133 -0
  478. package/config/hard/ParsingContextFreeGrammar/input/05 - Large grammar, medium number of large tests.txt +113 -0
  479. package/config/hard/ParsingContextFreeGrammar/input/06 - Large grammar, small number of very large tests.txt +91 -0
  480. package/config/hard/ParsingContextFreeGrammar/output/01 - Well-formed brackets.txt +10 -0
  481. package/config/hard/ParsingContextFreeGrammar/output/02 - Well-formed brackets - ambiguous.txt +10 -0
  482. package/config/hard/ParsingContextFreeGrammar/output/03 - Small grammar, many short tests.txt +60 -0
  483. package/config/hard/ParsingContextFreeGrammar/output/04 - Large grammar, many medium tests.txt +80 -0
  484. package/config/hard/ParsingContextFreeGrammar/output/05 - Large grammar, medium number of large tests.txt +40 -0
  485. package/config/hard/ParsingContextFreeGrammar/output/06 - Large grammar, small number of very large tests.txt +8 -0
  486. package/config/hard/ShapeRecognition/code/CGCode.cpp +21 -0
  487. package/config/hard/ShapeRecognition/code/CGCode.java +20 -0
  488. package/config/hard/ShapeRecognition/code/CGCode.js +11 -0
  489. package/config/hard/ShapeRecognition/code/CGCode.php +14 -0
  490. package/config/hard/ShapeRecognition/code/CGCode.ts +11 -0
  491. package/config/hard/ShapeRecognition/config.json +88 -0
  492. package/config/hard/ShapeRecognition/input/01 - Triangle.txt +20 -0
  493. package/config/hard/ShapeRecognition/input/02 - Circle.txt +20 -0
  494. package/config/hard/ShapeRecognition/input/03 - Square.txt +20 -0
  495. package/config/hard/ShapeRecognition/input/04 - 10% Accuracy.txt +20 -0
  496. package/config/hard/ShapeRecognition/input/05 - 20% Accuracy.txt +20 -0
  497. package/config/hard/ShapeRecognition/input/06 - 30% Accuracy.txt +20 -0
  498. package/config/hard/ShapeRecognition/input/07 - 40% Accuracy.txt +20 -0
  499. package/config/hard/ShapeRecognition/input/08 - 50% Accuracy.txt +20 -0
  500. package/config/hard/ShapeRecognition/input/09 - 60% Accuracy.txt +20 -0
  501. package/config/hard/ShapeRecognition/input/10 - 70% Accuracy.txt +20 -0
  502. package/config/hard/ShapeRecognition/input/11 - 80% Accuracy.txt +20 -0
  503. package/config/hard/ShapeRecognition/input/12 - 90% Accuracy.txt +20 -0
  504. package/config/hard/ShapeRecognition/input/13 - 100% Accuracy.txt +20 -0
  505. package/config/hard/ShapeRecognition/input/14 - One more just for fun!.txt +20 -0
  506. package/config/hard/ShapeRecognition/input/15 - You/342/200/231re a DATA SCIENTIST!.txt" +20 -0
  507. package/config/hard/ShapeRecognition/input/16 - Final one I promise!.txt +20 -0
  508. package/config/hard/ShapeRecognition/output/01 - Triangle.txt +1 -0
  509. package/config/hard/ShapeRecognition/output/02 - Circle.txt +1 -0
  510. package/config/hard/ShapeRecognition/output/03 - Square.txt +1 -0
  511. package/config/hard/ShapeRecognition/output/04 - 10% Accuracy.txt +1 -0
  512. package/config/hard/ShapeRecognition/output/05 - 20% Accuracy.txt +1 -0
  513. package/config/hard/ShapeRecognition/output/06 - 30% Accuracy.txt +1 -0
  514. package/config/hard/ShapeRecognition/output/07 - 40% Accuracy.txt +1 -0
  515. package/config/hard/ShapeRecognition/output/08 - 50% Accuracy.txt +1 -0
  516. package/config/hard/ShapeRecognition/output/09 - 60% Accuracy.txt +1 -0
  517. package/config/hard/ShapeRecognition/output/10 - 70% Accuracy.txt +1 -0
  518. package/config/hard/ShapeRecognition/output/11 - 80% Accuracy.txt +1 -0
  519. package/config/hard/ShapeRecognition/output/12 - 90% Accuracy.txt +1 -0
  520. package/config/hard/ShapeRecognition/output/13 - 100% Accuracy.txt +1 -0
  521. package/config/hard/ShapeRecognition/output/14 - One more just for fun!.txt +1 -0
  522. package/config/hard/ShapeRecognition/output/15 - You/342/200/231re a DATA SCIENTIST!.txt" +1 -0
  523. package/config/hard/ShapeRecognition/output/16 - Final one I promise!.txt +1 -0
  524. package/config/hard/SpreadsheetLabels/code/CGCode.cpp +16 -0
  525. package/config/hard/SpreadsheetLabels/code/CGCode.java +14 -0
  526. package/config/hard/SpreadsheetLabels/code/CGCode.js +5 -0
  527. package/config/hard/SpreadsheetLabels/code/CGCode.php +7 -0
  528. package/config/hard/SpreadsheetLabels/code/CGCode.ts +5 -0
  529. package/config/hard/SpreadsheetLabels/config.json +33 -0
  530. package/config/hard/SpreadsheetLabels/input/01 - Small Numbers.txt +2 -0
  531. package/config/hard/SpreadsheetLabels/input/02 - Small Letters.txt +2 -0
  532. package/config/hard/SpreadsheetLabels/input/03 - Three and Four Digits.txt +2 -0
  533. package/config/hard/SpreadsheetLabels/input/04 - Medium Numbers and Letters.txt +2 -0
  534. package/config/hard/SpreadsheetLabels/input/05 - Big Numbers and Letters.txt +2 -0
  535. package/config/hard/SpreadsheetLabels/output/01 - Small Numbers.txt +1 -0
  536. package/config/hard/SpreadsheetLabels/output/02 - Small Letters.txt +1 -0
  537. package/config/hard/SpreadsheetLabels/output/03 - Three and Four Digits.txt +1 -0
  538. package/config/hard/SpreadsheetLabels/output/04 - Medium Numbers and Letters.txt +1 -0
  539. package/config/hard/SpreadsheetLabels/output/05 - Big Numbers and Letters.txt +1 -0
  540. package/config/hard/SumOfOdd/code/CGCode.cpp +17 -0
  541. package/config/hard/SumOfOdd/code/CGCode.java +16 -0
  542. package/config/hard/SumOfOdd/code/CGCode.js +6 -0
  543. package/config/hard/SumOfOdd/code/CGCode.php +7 -0
  544. package/config/hard/SumOfOdd/code/CGCode.ts +6 -0
  545. package/config/hard/SumOfOdd/config.json +38 -0
  546. package/config/hard/SumOfOdd/input/01 - test 1.txt +1 -0
  547. package/config/hard/SumOfOdd/input/02 - test 2.txt +1 -0
  548. package/config/hard/SumOfOdd/input/03 - test 3.txt +1 -0
  549. package/config/hard/SumOfOdd/input/04 - test 4.txt +1 -0
  550. package/config/hard/SumOfOdd/input/05 - test 5.txt +1 -0
  551. package/config/hard/SumOfOdd/input/06 - test 6.txt +1 -0
  552. package/config/hard/SumOfOdd/output/01 - test 1.txt +2 -0
  553. package/config/hard/SumOfOdd/output/02 - test 2.txt +2 -0
  554. package/config/hard/SumOfOdd/output/03 - test 3.txt +1 -0
  555. package/config/hard/SumOfOdd/output/04 - test 4.txt +2 -0
  556. package/config/hard/SumOfOdd/output/05 - test 5.txt +2 -0
  557. package/config/hard/SumOfOdd/output/06 - test 6.txt +2 -0
  558. package/config/hard/Tetris/code/CGCode.cpp +29 -0
  559. package/config/hard/Tetris/code/CGCode.java +31 -0
  560. package/config/hard/Tetris/code/CGCode.js +17 -0
  561. package/config/hard/Tetris/code/CGCode.php +16 -0
  562. package/config/hard/Tetris/code/CGCode.ts +17 -0
  563. package/config/hard/Tetris/config.json +33 -0
  564. package/config/hard/Tetris/input/01 - Simple.txt +8 -0
  565. package/config/hard/Tetris/input/02 - Not on the bottom.txt +10 -0
  566. package/config/hard/Tetris/input/03 - That sucks.txt +12 -0
  567. package/config/hard/Tetris/input/04 - Better.txt +9 -0
  568. package/config/hard/Tetris/input/05 - The Holy Grail.txt +14 -0
  569. package/config/hard/Tetris/output/01 - Simple.txt +2 -0
  570. package/config/hard/Tetris/output/02 - Not on the bottom.txt +2 -0
  571. package/config/hard/Tetris/output/03 - That sucks.txt +2 -0
  572. package/config/hard/Tetris/output/04 - Better.txt +2 -0
  573. package/config/hard/Tetris/output/05 - The Holy Grail.txt +2 -0
  574. package/config/hard/TheHungryDuckPart1/code/CGCode.cpp +24 -0
  575. package/config/hard/TheHungryDuckPart1/code/CGCode.java +22 -0
  576. package/config/hard/TheHungryDuckPart1/code/CGCode.js +14 -0
  577. package/config/hard/TheHungryDuckPart1/code/CGCode.php +15 -0
  578. package/config/hard/TheHungryDuckPart1/code/CGCode.ts +14 -0
  579. package/config/hard/TheHungryDuckPart1/config.json +28 -0
  580. package/config/hard/TheHungryDuckPart1/input/01 - Example lake.txt +4 -0
  581. package/config/hard/TheHungryDuckPart1/input/02 - Nice little lake in a forest.txt +9 -0
  582. package/config/hard/TheHungryDuckPart1/input/03 - Town Creek.txt +2 -0
  583. package/config/hard/TheHungryDuckPart1/input/04 - Lac Daumesnil.txt +11 -0
  584. package/config/hard/TheHungryDuckPart1/output/01 - Example lake.txt +1 -0
  585. package/config/hard/TheHungryDuckPart1/output/02 - Nice little lake in a forest.txt +1 -0
  586. package/config/hard/TheHungryDuckPart1/output/03 - Town Creek.txt +1 -0
  587. package/config/hard/TheHungryDuckPart1/output/04 - Lac Daumesnil.txt +1 -0
  588. package/config/hard/ToSkysEdge/code/CGCode.cpp +26 -0
  589. package/config/hard/ToSkysEdge/code/CGCode.java +22 -0
  590. package/config/hard/ToSkysEdge/code/CGCode.js +13 -0
  591. package/config/hard/ToSkysEdge/code/CGCode.php +13 -0
  592. package/config/hard/ToSkysEdge/code/CGCode.ts +13 -0
  593. package/config/hard/ToSkysEdge/config.json +48 -0
  594. package/config/hard/ToSkysEdge/input/01 - Simple expedition.txt +11 -0
  595. package/config/hard/ToSkysEdge/input/02 - Great capacity.txt +13 -0
  596. package/config/hard/ToSkysEdge/input/03 - Tight capacity.txt +10 -0
  597. package/config/hard/ToSkysEdge/input/04 - Baby boom.txt +15 -0
  598. package/config/hard/ToSkysEdge/input/05 - Large span.txt +13 -0
  599. package/config/hard/ToSkysEdge/input/06 - All ages.txt +53 -0
  600. package/config/hard/ToSkysEdge/input/07 - A long voyage.txt +16 -0
  601. package/config/hard/ToSkysEdge/input/08 - Let/342/200/231s go to Mars instead.txt" +8 -0
  602. package/config/hard/ToSkysEdge/output/01 - Simple expedition.txt +1 -0
  603. package/config/hard/ToSkysEdge/output/02 - Great capacity.txt +1 -0
  604. package/config/hard/ToSkysEdge/output/03 - Tight capacity.txt +1 -0
  605. package/config/hard/ToSkysEdge/output/04 - Baby boom.txt +1 -0
  606. package/config/hard/ToSkysEdge/output/05 - Large span.txt +1 -0
  607. package/config/hard/ToSkysEdge/output/06 - All ages.txt +1 -0
  608. package/config/hard/ToSkysEdge/output/07 - A long voyage.txt +1 -0
  609. package/config/hard/ToSkysEdge/output/08 - Let/342/200/231s go to Mars instead.txt" +1 -0
  610. package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.cpp +36 -0
  611. package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.java +38 -0
  612. package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.js +24 -0
  613. package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.php +23 -0
  614. package/config/hard/WaveFunctionCollapseSansShannon/code/CGCode.ts +24 -0
  615. package/config/hard/WaveFunctionCollapseSansShannon/config.json +48 -0
  616. package/config/hard/WaveFunctionCollapseSansShannon/input/01 - First Example - Restore it.txt +18 -0
  617. package/config/hard/WaveFunctionCollapseSansShannon/input/02 - Second Example - Grow it.txt +20 -0
  618. package/config/hard/WaveFunctionCollapseSansShannon/input/03 - Body Swap.txt +18 -0
  619. package/config/hard/WaveFunctionCollapseSansShannon/input/04 - Widen The Picture.txt +21 -0
  620. package/config/hard/WaveFunctionCollapseSansShannon/input/05 - Grill.txt +18 -0
  621. package/config/hard/WaveFunctionCollapseSansShannon/input/06 - Resize.txt +21 -0
  622. package/config/hard/WaveFunctionCollapseSansShannon/input/07 - Bob Was Here.txt +30 -0
  623. package/config/hard/WaveFunctionCollapseSansShannon/input/08 - aMAZEing.txt +31 -0
  624. package/config/hard/WaveFunctionCollapseSansShannon/output/01 - First Example - Restore it.txt +8 -0
  625. package/config/hard/WaveFunctionCollapseSansShannon/output/02 - Second Example - Grow it.txt +10 -0
  626. package/config/hard/WaveFunctionCollapseSansShannon/output/03 - Body Swap.txt +8 -0
  627. package/config/hard/WaveFunctionCollapseSansShannon/output/04 - Widen The Picture.txt +11 -0
  628. package/config/hard/WaveFunctionCollapseSansShannon/output/05 - Grill.txt +9 -0
  629. package/config/hard/WaveFunctionCollapseSansShannon/output/06 - Resize.txt +11 -0
  630. package/config/hard/WaveFunctionCollapseSansShannon/output/07 - Bob Was Here.txt +18 -0
  631. package/config/hard/WaveFunctionCollapseSansShannon/output/08 - aMAZEing.txt +20 -0
  632. package/package.json +1 -1
@@ -0,0 +1,30 @@
1
+ import java.util.*;
2
+ import java.io.*;
3
+ import java.math.*;
4
+
5
+ class Solution {
6
+
7
+ public static void main(String args[]) {
8
+ Scanner in = new Scanner(System.in);
9
+ int n = in.nextInt();
10
+ int m = in.nextInt();
11
+ int ntw = in.nextInt();
12
+ int s = in.nextInt();
13
+ int t = in.nextInt();
14
+ for (int i = 0; i < ntw; i++) {
15
+ int v = in.nextInt();
16
+ int b = in.nextInt();
17
+ int e = in.nextInt();
18
+ }
19
+ for (int i = 0; i < m; i++) {
20
+ int u = in.nextInt();
21
+ int v = in.nextInt();
22
+ int d = in.nextInt();
23
+ }
24
+
25
+ // Write an answer using System.out.println()
26
+ // To debug: System.err.println("Debug messages...");
27
+
28
+ System.out.println("true");
29
+ }
30
+ }
@@ -0,0 +1,24 @@
1
+ var inputs = readline().split(' ');
2
+ const n = parseInt(inputs[0]);
3
+ const m = parseInt(inputs[1]);
4
+ const ntw = parseInt(inputs[2]);
5
+ var inputs = readline().split(' ');
6
+ const s = parseInt(inputs[0]);
7
+ const t = parseInt(inputs[1]);
8
+ for (let i = 0; i < ntw; i++) {
9
+ var inputs = readline().split(' ');
10
+ const v = parseInt(inputs[0]);
11
+ const b = parseInt(inputs[1]);
12
+ const e = parseInt(inputs[2]);
13
+ }
14
+ for (let i = 0; i < m; i++) {
15
+ var inputs = readline().split(' ');
16
+ const u = parseInt(inputs[0]);
17
+ const v = parseInt(inputs[1]);
18
+ const d = parseInt(inputs[2]);
19
+ }
20
+
21
+ // Write an answer using console.log()
22
+ // To debug: console.error('Debug messages...');
23
+
24
+ console.log('true');
@@ -0,0 +1,16 @@
1
+ <?php
2
+ fscanf(STDIN, "%d %d %d", $n, $m, $ntw);
3
+ fscanf(STDIN, "%d %d", $s, $t);
4
+ for ($i = 0; $i < $ntw; $i++)
5
+ {
6
+ fscanf(STDIN, "%d %d %d", $v, $b, $e);
7
+ }
8
+ for ($i = 0; $i < $m; $i++)
9
+ {
10
+ fscanf(STDIN, "%d %d %d", $u, $v, $d);
11
+ }
12
+
13
+ // Write an answer using echo(). DON'T FORGET THE TRAILING \n
14
+ // To debug: error_log(var_export($var, true)); (equivalent to var_dump)
15
+
16
+ echo("true\n");
@@ -0,0 +1,24 @@
1
+ var inputs: string[] = readline().split(' ');
2
+ const n: number = parseInt(inputs[0]);
3
+ const m: number = parseInt(inputs[1]);
4
+ const ntw: number = parseInt(inputs[2]);
5
+ var inputs: string[] = readline().split(' ');
6
+ const s: number = parseInt(inputs[0]);
7
+ const t: number = parseInt(inputs[1]);
8
+ for (let i = 0; i < ntw; i++) {
9
+ var inputs: string[] = readline().split(' ');
10
+ const v: number = parseInt(inputs[0]);
11
+ const b: number = parseInt(inputs[1]);
12
+ const e: number = parseInt(inputs[2]);
13
+ }
14
+ for (let i = 0; i < m; i++) {
15
+ var inputs: string[] = readline().split(' ');
16
+ const u: number = parseInt(inputs[0]);
17
+ const v: number = parseInt(inputs[1]);
18
+ const d: number = parseInt(inputs[2]);
19
+ }
20
+
21
+ // Write an answer using console.log()
22
+ // To debug: console.error('Debug messages...');
23
+
24
+ console.log('true');
@@ -0,0 +1,43 @@
1
+ {
2
+ "path": "hard/HitTheRoad",
3
+ "name": "Hit the road",
4
+ "alphanumName": "HitTheRoad",
5
+ "link": "https://www.codingame.com/ide/puzzle/hit-the-road",
6
+ "tests": [
7
+ {
8
+ "name": "Example 1",
9
+ "alphanumName": "Example1",
10
+ "file": "01 - Example 1.txt"
11
+ },
12
+ {
13
+ "name": "Example 2",
14
+ "alphanumName": "Example2",
15
+ "file": "02 - Example 2.txt"
16
+ },
17
+ {
18
+ "name": "Half turn",
19
+ "alphanumName": "HalfTurn",
20
+ "file": "03 - Half turn.txt"
21
+ },
22
+ {
23
+ "name": "No time windows everywhere",
24
+ "alphanumName": "NoTimeWindowsEverywhere",
25
+ "file": "04 - No time windows everywhere.txt"
26
+ },
27
+ {
28
+ "name": "Unreachable",
29
+ "alphanumName": "Unreachable",
30
+ "file": "05 - Unreachable.txt"
31
+ },
32
+ {
33
+ "name": "Example 3",
34
+ "alphanumName": "Example3",
35
+ "file": "06 - Example 3.txt"
36
+ },
37
+ {
38
+ "name": "Example 4",
39
+ "alphanumName": "Example4",
40
+ "file": "07 - Example 4.txt"
41
+ }
42
+ ]
43
+ }
@@ -0,0 +1,20 @@
1
+ 8 10 8
2
+ 0 3
3
+ 0 0 0
4
+ 1 1 2
5
+ 2 3 5
6
+ 3 1 7
7
+ 4 1 2
8
+ 5 1 2
9
+ 6 3 5
10
+ 7 3 5
11
+ 0 1 1
12
+ 0 4 1
13
+ 1 2 1
14
+ 2 3 1
15
+ 2 6 1
16
+ 4 5 1
17
+ 5 1 1
18
+ 5 6 1
19
+ 6 7 1
20
+ 7 3 1
@@ -0,0 +1,19 @@
1
+ 8 9 8
2
+ 0 3
3
+ 0 0 0
4
+ 1 1 2
5
+ 2 3 5
6
+ 3 1 7
7
+ 4 1 2
8
+ 5 1 2
9
+ 6 3 5
10
+ 7 3 5
11
+ 0 1 1
12
+ 0 4 1
13
+ 1 2 1
14
+ 2 3 1
15
+ 2 6 1
16
+ 4 5 1
17
+ 5 1 1
18
+ 6 7 1
19
+ 7 3 1
@@ -0,0 +1,17 @@
1
+ 6 9 6
2
+ 0 5
3
+ 0 0 0
4
+ 1 1 10
5
+ 2 6 9
6
+ 3 6 11
7
+ 4 7 10
8
+ 5 10 14
9
+ 0 1 1
10
+ 0 2 3
11
+ 1 2 1
12
+ 1 3 5
13
+ 2 4 1
14
+ 3 1 1
15
+ 3 5 3
16
+ 4 3 1
17
+ 4 5 6
@@ -0,0 +1,13 @@
1
+ 6 7 4
2
+ 0 5
3
+ 0 0 9
4
+ 2 6 9
5
+ 3 3 7
6
+ 5 13 16
7
+ 0 1 1
8
+ 1 2 2
9
+ 1 4 2
10
+ 2 5 7
11
+ 3 0 1
12
+ 4 3 2
13
+ 5 4 2
@@ -0,0 +1,28 @@
1
+ 6 20 6
2
+ 1 2
3
+ 1 0 0
4
+ 2 8 11
5
+ 3 8 16
6
+ 4 4 11
7
+ 5 4 9
8
+ 0 5 13
9
+ 1 2 2
10
+ 1 3 8
11
+ 1 5 5
12
+ 2 1 10
13
+ 2 3 6
14
+ 2 5 3
15
+ 2 0 6
16
+ 3 1 2
17
+ 3 4 3
18
+ 3 0 6
19
+ 4 3 4
20
+ 4 5 6
21
+ 4 0 2
22
+ 5 2 4
23
+ 5 3 5
24
+ 5 4 5
25
+ 5 0 4
26
+ 0 2 2
27
+ 0 4 10
28
+ 0 5 4
@@ -0,0 +1,20 @@
1
+ 6 15 3
2
+ 1 2
3
+ 3 6 12
4
+ 2 9 9
5
+ 0 3 8
6
+ 1 3 5
7
+ 1 4 1
8
+ 1 5 8
9
+ 2 3 2
10
+ 2 5 4
11
+ 3 2 1
12
+ 3 5 4
13
+ 4 2 3
14
+ 4 3 5
15
+ 4 5 6
16
+ 5 1 7
17
+ 5 2 4
18
+ 5 0 3
19
+ 0 2 5
20
+ 0 3 5
@@ -0,0 +1,24 @@
1
+ #include <iostream>
2
+ #include <string>
3
+ #include <vector>
4
+ #include <algorithm>
5
+
6
+ using namespace std;
7
+
8
+ int main()
9
+ {
10
+ string unsed_p;
11
+ string unsed_cnf;
12
+ int v;
13
+ int c;
14
+ cin >> unsed_p >> unsed_cnf >> v >> c; cin.ignore();
15
+ for (int i = 0; i < c; i++) {
16
+ string clause;
17
+ getline(cin, clause);
18
+ }
19
+
20
+ // Write an answer using cout. DON'T FORGET THE "<< endl"
21
+ // To debug: cerr << "Debug messages..." << endl;
22
+
23
+ cout << "s UNSATISFIABLE" << endl;
24
+ }
@@ -0,0 +1,25 @@
1
+ import java.util.*;
2
+ import java.io.*;
3
+ import java.math.*;
4
+
5
+ class Solution {
6
+
7
+ public static void main(String args[]) {
8
+ Scanner in = new Scanner(System.in);
9
+ String unsedP = in.next();
10
+ String unsedCnf = in.next();
11
+ int V = in.nextInt();
12
+ int C = in.nextInt();
13
+ if (in.hasNextLine()) {
14
+ in.nextLine();
15
+ }
16
+ for (int i = 0; i < C; i++) {
17
+ String clause = in.nextLine();
18
+ }
19
+
20
+ // Write an answer using System.out.println()
21
+ // To debug: System.err.println("Debug messages...");
22
+
23
+ System.out.println("s UNSATISFIABLE");
24
+ }
25
+ }
@@ -0,0 +1,13 @@
1
+ var inputs = readline().split(' ');
2
+ const unsedP = inputs[0];
3
+ const unsedCnf = inputs[1];
4
+ const V = parseInt(inputs[2]);
5
+ const C = parseInt(inputs[3]);
6
+ for (let i = 0; i < C; i++) {
7
+ const clause = readline();
8
+ }
9
+
10
+ // Write an answer using console.log()
11
+ // To debug: console.error('Debug messages...');
12
+
13
+ console.log('s UNSATISFIABLE');
@@ -0,0 +1,11 @@
1
+ <?php
2
+ fscanf(STDIN, "%s %s %d %d", $unsedP, $unsedCnf, $V, $C);
3
+ for ($i = 0; $i < $C; $i++)
4
+ {
5
+ $clause = stream_get_line(STDIN, 256 + 1, "\n");
6
+ }
7
+
8
+ // Write an answer using echo(). DON'T FORGET THE TRAILING \n
9
+ // To debug: error_log(var_export($var, true)); (equivalent to var_dump)
10
+
11
+ echo("s UNSATISFIABLE\n");
@@ -0,0 +1,13 @@
1
+ var inputs: string[] = readline().split(' ');
2
+ const unsedP: string = inputs[0];
3
+ const unsedCnf: string = inputs[1];
4
+ const V: number = parseInt(inputs[2]);
5
+ const C: number = parseInt(inputs[3]);
6
+ for (let i = 0; i < C; i++) {
7
+ const clause: string = readline();
8
+ }
9
+
10
+ // Write an answer using console.log()
11
+ // To debug: console.error('Debug messages...');
12
+
13
+ console.log('s UNSATISFIABLE');
@@ -0,0 +1,53 @@
1
+ {
2
+ "path": "hard/HornSATSolver",
3
+ "name": "Horn-SAT solver",
4
+ "alphanumName": "HornSATSolver",
5
+ "link": "https://www.codingame.com/ide/puzzle/horn-sat-solver",
6
+ "tests": [
7
+ {
8
+ "name": "short sat",
9
+ "alphanumName": "shortSat",
10
+ "file": "01 - short sat.txt"
11
+ },
12
+ {
13
+ "name": "short unsat",
14
+ "alphanumName": "shortUnsat",
15
+ "file": "02 - short unsat.txt"
16
+ },
17
+ {
18
+ "name": "empty clause",
19
+ "alphanumName": "emptyClause",
20
+ "file": "03 - empty clause.txt"
21
+ },
22
+ {
23
+ "name": "medium sat",
24
+ "alphanumName": "mediumSat",
25
+ "file": "04 - medium sat.txt"
26
+ },
27
+ {
28
+ "name": "medium unsat",
29
+ "alphanumName": "mediumUnsat",
30
+ "file": "05 - medium unsat.txt"
31
+ },
32
+ {
33
+ "name": "huge sat",
34
+ "alphanumName": "hugeSat",
35
+ "file": "06 - huge sat.txt"
36
+ },
37
+ {
38
+ "name": "huge unsat",
39
+ "alphanumName": "hugeUnsat",
40
+ "file": "07 - huge unsat.txt"
41
+ },
42
+ {
43
+ "name": "only one non-unit clause",
44
+ "alphanumName": "onlyOneNonUnitClause",
45
+ "file": "08 - only one non-unit clause.txt"
46
+ },
47
+ {
48
+ "name": "negative literals only",
49
+ "alphanumName": "negativeLiteralsOnly",
50
+ "file": "09 - negative literals only.txt"
51
+ }
52
+ ]
53
+ }
@@ -0,0 +1,9 @@
1
+ p cnf 5 8
2
+ -1 -2 -3 -4 -5 0
3
+ -1 -2 -3 -4 0
4
+ 3 0
5
+ -3 -5 0
6
+ -1 -3 -4 0
7
+ -2 -3 -4 5 0
8
+ -3 4 0
9
+ -1 -2 -3 -5 0
@@ -0,0 +1,8 @@
1
+ p cnf 5 7
2
+ -2 -4 0
3
+ -1 3 -4 -5 0
4
+ -1 -3 -4 -5 0
5
+ -1 -2 -3 -4 -5 0
6
+ 4 0
7
+ 2 0
8
+ -1 -2 -5 0
@@ -0,0 +1,10 @@
1
+ p cnf 5 9
2
+ -1 -2 -3 -4 -5 0
3
+ -2 -3 -4 0
4
+ -1 -2 -3 -5 0
5
+ -4 -5 0
6
+ 0
7
+ -1 -2 -3 4 -5 0
8
+ -1 -2 -4 -5 0
9
+ -1 -2 3 -4 -5 0
10
+ 5 0
@@ -0,0 +1,91 @@
1
+ p cnf 46 90
2
+ -13 -46 0
3
+ -7 -11 -12 -28 -46 0
4
+ -1 -12 -25 -31 -36 -39 0
5
+ 25 0
6
+ 9 -10 -29 0
7
+ -7 22 -33 -40 0
8
+ -9 -29 0
9
+ -2 -45 0
10
+ -9 -22 -23 0
11
+ -3 -7 -15 0
12
+ -13 0
13
+ 3 0
14
+ -6 -14 -15 -24 36 0
15
+ -20 -32 -37 -46 0
16
+ -3 -7 -10 -17 -22 0
17
+ -4 -30 0
18
+ -10 -19 -20 -24 -30 -36 -45 0
19
+ -9 -14 -15 -31 -32 -41 -45 0
20
+ -7 9 -16 -32 -42 0
21
+ -3 -9 -21 -34 -39 -42 0
22
+ -20 -33 -34 -46 0
23
+ -11 -29 0
24
+ -4 -8 -19 -29 39 -40 -46 0
25
+ -3 -7 -18 -44 0
26
+ -2 -21 -27 -40 -44 -45 0
27
+ -9 0
28
+ -29 -34 -40 -42 -44 0
29
+ -18 0
30
+ -1 -3 -23 -34 -41 -42 0
31
+ -20 -23 0
32
+ -1 -12 -14 -18 -25 -34 -45 0
33
+ -5 -36 -42 0
34
+ 28 0
35
+ -6 -41 -42 0
36
+ -10 -36 0
37
+ -2 -18 -35 0
38
+ -18 -29 -33 39 0
39
+ -18 -23 -32 0
40
+ -15 -20 0
41
+ 32 0
42
+ 6 0
43
+ -4 -18 -26 -35 -38 -43 0
44
+ -18 -19 -28 -32 -43 0
45
+ -4 -16 -17 -18 -25 -30 -46 0
46
+ -12 -28 0
47
+ -20 -40 0
48
+ -14 -28 0
49
+ -8 -12 -16 -22 -25 -38 -44 0
50
+ -2 -5 -6 8 -20 -30 -35 0
51
+ -4 -6 -24 -27 0
52
+ -6 -9 -22 -32 -44 0
53
+ -7 -43 0
54
+ -7 -13 -20 -23 -39 0
55
+ -30 -32 0
56
+ -12 -36 0
57
+ -30 -33 -38 0
58
+ -11 -19 -23 -29 -41 0
59
+ -7 17 0
60
+ -10 -12 -13 -36 -44 0
61
+ -14 -31 0
62
+ -3 -9 -11 -21 -23 -30 -42 0
63
+ 33 0
64
+ -5 -9 0
65
+ -2 -6 -25 -37 0
66
+ -24 -26 -39 0
67
+ -3 -12 -32 -41 -45 0
68
+ 14 -42 0
69
+ 11 0
70
+ -27 -39 -42 0
71
+ -31 -40 -45 0
72
+ 38 0
73
+ -2 -6 -12 -16 -27 -37 -39 0
74
+ -2 -13 -22 -45 0
75
+ -3 -42 -45 0
76
+ -21 -28 -45 0
77
+ -7 -20 -27 -46 0
78
+ -15 -31 0
79
+ -20 -22 -28 -29 -32 0
80
+ -2 -12 -37 0
81
+ -1 -11 -21 -26 -41 -44 -45 0
82
+ -17 -24 0
83
+ -2 -8 -9 -15 -34 -39 0
84
+ -4 -28 0
85
+ -3 -14 -18 -24 -34 -42 -44 0
86
+ -9 -10 -45 0
87
+ 41 0
88
+ -1 -25 0
89
+ 5 0
90
+ -10 -22 -27 0
91
+ -5 -10 -11 -13 -26 0
@@ -0,0 +1,92 @@
1
+ p cnf 54 91
2
+ 6 -7 -24 -30 -37 -48 0
3
+ 25 -33 -36 0
4
+ -21 26 -37 -41 -51 0
5
+ 50 0
6
+ -10 -13 -15 -18 -25 -38 -50 0
7
+ -7 -22 -25 -29 -32 -49 -53 0
8
+ -11 -15 -18 -45 0
9
+ 19 0
10
+ -5 -21 -32 -35 -37 -50 0
11
+ -3 -44 -47 -52 0
12
+ 17 0
13
+ -10 -45 0
14
+ -10 0
15
+ -9 -11 -15 -24 -51 0
16
+ -1 -7 -16 -23 -39 -40 -47 0
17
+ -4 0
18
+ -12 -19 -20 -21 -27 33 -54 0
19
+ -7 -13 -39 -50 -51 -52 0
20
+ -38 0
21
+ -11 -16 -18 -25 -31 -37 -40 0
22
+ -2 -16 -23 -25 -47 48 0
23
+ 13 -23 -24 -26 -31 0
24
+ -18 -22 -34 -49 -52 0
25
+ -14 -18 -19 38 -42 0
26
+ 24 0
27
+ 45 0
28
+ -1 -17 -21 -34 -45 0
29
+ 34 0
30
+ -2 -5 -25 -26 27 -49 0
31
+ -11 -14 -43 -52 0
32
+ -3 -11 -27 -29 -31 -41 0
33
+ -4 -12 -31 -39 0
34
+ -4 -7 -11 -18 -26 -32 -49 0
35
+ -2 -7 -23 -32 -36 0
36
+ 18 0
37
+ -11 -20 -28 -34 -35 -45 -47 0
38
+ -9 -18 -30 -43 -49 0
39
+ -38 -44 0
40
+ -24 -48 0
41
+ -8 -14 -25 -26 -36 -40 0
42
+ -8 -31 36 0
43
+ 14 -33 0
44
+ -14 -19 0
45
+ -53 0
46
+ -4 -17 -22 -28 -30 0
47
+ -17 -30 -31 35 -39 -52 -54 0
48
+ -13 -24 52 0
49
+ -18 -39 -53 0
50
+ -2 -15 -24 -35 -47 -54 0
51
+ 44 0
52
+ -12 -17 -19 -32 -45 -48 -54 0
53
+ -35 -45 0
54
+ -39 -40 0
55
+ 16 0
56
+ 15 0
57
+ -9 -11 -14 -32 -36 -39 -49 0
58
+ -14 37 0
59
+ 21 0
60
+ 28 0
61
+ -17 -50 0
62
+ -14 -21 0
63
+ -30 -41 -48 0
64
+ -3 -8 -23 -37 -38 -45 0
65
+ -5 -11 -12 -19 -28 -39 0
66
+ -14 46 0
67
+ -7 -8 -46 -48 -50 -52 -54 0
68
+ -6 -11 -37 -38 -50 -53 0
69
+ -3 -6 -13 -20 -33 -40 -51 0
70
+ -2 -17 -49 -50 0
71
+ -19 -49 0
72
+ -4 -16 -18 22 -38 -41 0
73
+ -49 0
74
+ -4 -9 42 -53 0
75
+ -22 -27 -29 -47 -48 53 0
76
+ -1 -16 -30 -34 40 0
77
+ -5 -12 -24 -38 39 -48 0
78
+ -37 -41 -45 -50 0
79
+ -14 -22 -24 -43 0
80
+ -9 -10 -23 0
81
+ -3 -10 -11 -16 -29 0
82
+ -35 -48 0
83
+ 29 -32 -35 -36 -38 0
84
+ -3 -42 0
85
+ -1 -25 -29 -51 -54 0
86
+ -16 -36 -37 -52 0
87
+ -2 -18 -36 -48 -54 0
88
+ -3 -26 -36 -51 0
89
+ -2 -9 -41 -51 0
90
+ -3 -8 -36 0
91
+ -30 -42 -50 -51 0
92
+ -18 -31 -33 -42 -49 0