pumpkin-solver 0.2.2__tar.gz → 0.3.0__tar.gz

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 (917) hide show
  1. pumpkin_solver-0.3.0/Cargo.lock +1611 -0
  2. pumpkin_solver-0.3.0/Cargo.toml +75 -0
  3. pumpkin_solver-0.3.0/PKG-INFO +10 -0
  4. pumpkin_solver-0.3.0/drcp-format/CHANGELOG.md +51 -0
  5. pumpkin_solver-0.3.0/drcp-format/Cargo.toml +15 -0
  6. pumpkin_solver-0.3.0/drcp-format/src/reader/mod.rs +411 -0
  7. pumpkin_solver-0.3.0/drcp-format/src/reader/parser.rs +531 -0
  8. pumpkin_solver-0.3.0/drcp-format/src/writer/mod.rs +328 -0
  9. pumpkin_solver-0.3.0/fzn-rs/CHANGELOG.md +13 -0
  10. pumpkin_solver-0.3.0/fzn-rs/Cargo.toml +16 -0
  11. pumpkin_solver-0.3.0/fzn-rs/src/ast.rs +380 -0
  12. pumpkin_solver-0.3.0/fzn-rs/src/error.rs +92 -0
  13. pumpkin_solver-0.3.0/fzn-rs/src/fzn/mod.rs +1115 -0
  14. pumpkin_solver-0.3.0/fzn-rs/src/fzn/tokens.rs +113 -0
  15. pumpkin_solver-0.3.0/fzn-rs/src/lib.rs +121 -0
  16. pumpkin_solver-0.3.0/fzn-rs/src/typed/arrays.rs +194 -0
  17. pumpkin_solver-0.3.0/fzn-rs/src/typed/constraint.rs +8 -0
  18. pumpkin_solver-0.3.0/fzn-rs/src/typed/flatzinc_annotation.rs +150 -0
  19. pumpkin_solver-0.3.0/fzn-rs/src/typed/flatzinc_constraint.rs +27 -0
  20. pumpkin_solver-0.3.0/fzn-rs/src/typed/from_literal.rs +132 -0
  21. pumpkin_solver-0.3.0/fzn-rs/src/typed/instance.rs +193 -0
  22. pumpkin_solver-0.3.0/fzn-rs/src/typed/mod.rs +23 -0
  23. pumpkin_solver-0.3.0/fzn-rs-derive/CHANGELOG.md +13 -0
  24. pumpkin_solver-0.3.0/fzn-rs-derive/Cargo.toml +23 -0
  25. pumpkin_solver-0.3.0/fzn-rs-derive/src/annotation.rs +114 -0
  26. pumpkin_solver-0.3.0/fzn-rs-derive/src/common.rs +55 -0
  27. pumpkin_solver-0.3.0/fzn-rs-derive/src/constraint.rs +107 -0
  28. pumpkin_solver-0.3.0/fzn-rs-derive/src/lib.rs +115 -0
  29. pumpkin_solver-0.3.0/fzn-rs-derive/tests/derive_flatzinc_annotation.rs +397 -0
  30. pumpkin_solver-0.3.0/fzn-rs-derive/tests/derive_flatzinc_constraint.rs +489 -0
  31. pumpkin_solver-0.3.0/fzn-rs-derive/tests/utils.rs +49 -0
  32. pumpkin_solver-0.3.0/pumpkin-checker/CHANGELOG.md +14 -0
  33. pumpkin_solver-0.3.0/pumpkin-checker/Cargo.toml +36 -0
  34. pumpkin_solver-0.3.0/pumpkin-checker/src/conclusion.rs +108 -0
  35. pumpkin_solver-0.3.0/pumpkin-checker/src/deductions.rs +257 -0
  36. pumpkin_solver-0.3.0/pumpkin-checker/src/inferences/all_different.rs +48 -0
  37. pumpkin_solver-0.3.0/pumpkin-checker/src/inferences/arithmetic.rs +72 -0
  38. pumpkin_solver-0.3.0/pumpkin-checker/src/inferences/linear.rs +119 -0
  39. pumpkin_solver-0.3.0/pumpkin-checker/src/inferences/mod.rs +137 -0
  40. pumpkin_solver-0.3.0/pumpkin-checker/src/inferences/nogood.rs +31 -0
  41. pumpkin_solver-0.3.0/pumpkin-checker/src/inferences/time_table.rs +42 -0
  42. pumpkin_solver-0.3.0/pumpkin-checker/src/lib.rs +365 -0
  43. pumpkin_solver-0.3.0/pumpkin-checker/src/main.rs +21 -0
  44. pumpkin_solver-0.3.0/pumpkin-checker/src/math.rs +23 -0
  45. pumpkin_solver-0.3.0/pumpkin-checker/src/model.rs +489 -0
  46. pumpkin_solver-0.3.0/pumpkin-checker/src/test_utils.rs +107 -0
  47. pumpkin_solver-0.3.0/pumpkin-crates/checking/CHANGELOG.md +13 -0
  48. pumpkin_solver-0.3.0/pumpkin-crates/checking/Cargo.toml +15 -0
  49. pumpkin_solver-0.3.0/pumpkin-crates/checking/src/atomic_constraint.rs +89 -0
  50. pumpkin_solver-0.3.0/pumpkin-crates/checking/src/int_ext.rs +363 -0
  51. pumpkin_solver-0.3.0/pumpkin-crates/checking/src/lib.rs +62 -0
  52. pumpkin_solver-0.3.0/pumpkin-crates/checking/src/union.rs +327 -0
  53. pumpkin_solver-0.3.0/pumpkin-crates/checking/src/variable.rs +133 -0
  54. pumpkin_solver-0.3.0/pumpkin-crates/checking/src/variable_state.rs +463 -0
  55. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/CHANGELOG.md +13 -0
  56. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/Cargo.toml +14 -0
  57. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/lib.rs +5 -0
  58. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/minimisers/minimiser.rs +19 -0
  59. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/minimisers/mod.rs +9 -0
  60. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/minimisers/recursive_minimiser.rs +268 -0
  61. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/minimisers/semantic_minimiser.rs +659 -0
  62. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/resolvers/mod.rs +5 -0
  63. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/resolvers/no_learning_resolver.rs +33 -0
  64. pumpkin_solver-0.3.0/pumpkin-crates/conflict-resolvers/src/resolvers/resolution_resolver.rs +394 -0
  65. pumpkin_solver-0.3.0/pumpkin-crates/constraints/CHANGELOG.md +13 -0
  66. pumpkin_solver-0.3.0/pumpkin-crates/constraints/Cargo.toml +18 -0
  67. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/all_different.rs +26 -0
  68. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/arithmetic/equality.rs +229 -0
  69. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/arithmetic/inequality.rs +178 -0
  70. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/arithmetic/mod.rs +93 -0
  71. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/boolean.rs +113 -0
  72. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/clause.rs +108 -0
  73. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/cumulative.rs +295 -0
  74. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/disjunctive_strict.rs +77 -0
  75. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/element.rs +19 -0
  76. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/mod.rs +46 -0
  77. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/constraints/table.rs +211 -0
  78. pumpkin_solver-0.3.0/pumpkin-crates/constraints/src/lib.rs +6 -0
  79. pumpkin_solver-0.3.0/pumpkin-crates/core/CHANGELOG.md +64 -0
  80. pumpkin_solver-0.3.0/pumpkin-crates/core/Cargo.toml +44 -0
  81. pumpkin_solver-0.3.0/pumpkin-crates/core/clippy.toml +7 -0
  82. pumpkin_solver-0.3.0/pumpkin-crates/core/src/api/mod.rs +147 -0
  83. pumpkin_solver-0.3.0/pumpkin-crates/core/src/api/outputs/mod.rs +118 -0
  84. pumpkin_solver-0.3.0/pumpkin-crates/core/src/api/outputs/solution_iterator.rs +143 -0
  85. pumpkin_solver-0.3.0/pumpkin-crates/core/src/api/outputs/unsatisfiable.rs +73 -0
  86. pumpkin_solver-0.3.0/pumpkin-crates/core/src/api/solver.rs +628 -0
  87. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/mod.rs +31 -0
  88. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/predicate_id_generators/deletable_predicate_id_generator.rs +153 -0
  89. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/predicate_id_generators/mod.rs +6 -0
  90. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/predicate_id_generators/predicate_id_generator.rs +200 -0
  91. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/propagation_status_cp.rs +18 -0
  92. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/propositional_conjunction.rs +249 -0
  93. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/random.rs +209 -0
  94. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/ref_or_owned.rs +49 -0
  95. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/solution.rs +119 -0
  96. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/stored_conflict_info.rs +37 -0
  97. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/time.rs +16 -0
  98. pumpkin_solver-0.3.0/pumpkin-crates/core/src/basic_types/trail.rs +162 -0
  99. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/brancher.rs +142 -0
  100. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/alternating/alternating_brancher.rs +134 -0
  101. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_restarts.rs +173 -0
  102. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_solutions.rs +81 -0
  103. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/alternating/strategies/mod.rs +65 -0
  104. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/alternating/strategies/other_only.rs +37 -0
  105. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/alternating/strategies/until_solution.rs +229 -0
  106. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/autonomous_search.rs +503 -0
  107. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/dynamic_brancher.rs +169 -0
  108. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/branchers/independent_variable_value_brancher.rs +101 -0
  109. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/mod.rs +37 -0
  110. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/selection_context.rs +98 -0
  111. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/tie_breaking/random_tie_breaker.rs +211 -0
  112. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/dynamic_value_selector.rs +54 -0
  113. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_interval.rs +105 -0
  114. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_max.rs +46 -0
  115. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_median.rs +93 -0
  116. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_middle.rs +147 -0
  117. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_min.rs +46 -0
  118. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_random.rs +84 -0
  119. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_split.rs +86 -0
  120. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/in_domain_split_random.rs +65 -0
  121. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/out_domain_max.rs +46 -0
  122. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/out_domain_median.rs +71 -0
  123. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/out_domain_min.rs +46 -0
  124. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/out_domain_random.rs +61 -0
  125. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/random_splitter.rs +80 -0
  126. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/reverse_in_domain_split.rs +74 -0
  127. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/value_selection/value_selector.rs +63 -0
  128. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/anti_first_fail.rs +130 -0
  129. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/dynamic_variable_selector.rs +53 -0
  130. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/first_fail.rs +129 -0
  131. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/input_order.rs +99 -0
  132. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/largest.rs +132 -0
  133. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/max_regret.rs +157 -0
  134. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/most_constrained.rs +157 -0
  135. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/occurrence.rs +95 -0
  136. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/proportional_domain_size.rs +77 -0
  137. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/random.rs +168 -0
  138. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/smallest.rs +125 -0
  139. pumpkin_solver-0.3.0/pumpkin-crates/core/src/branching/variable_selection/variable_selector.rs +70 -0
  140. pumpkin_solver-0.3.0/pumpkin-crates/core/src/conflict_resolving/conflict_analysis_context.rs +437 -0
  141. pumpkin_solver-0.3.0/pumpkin-crates/core/src/conflict_resolving/conflict_resolver.rs +49 -0
  142. pumpkin_solver-0.3.0/pumpkin-crates/core/src/conflict_resolving/learned_nogood.rs +76 -0
  143. pumpkin_solver-0.3.0/pumpkin-crates/core/src/conflict_resolving/mod.rs +9 -0
  144. pumpkin_solver-0.3.0/pumpkin-crates/core/src/constraints/constraint_poster.rs +71 -0
  145. pumpkin_solver-0.3.0/pumpkin-crates/core/src/constraints/mod.rs +110 -0
  146. pumpkin_solver-0.3.0/pumpkin-crates/core/src/containers/key_value_heap.rs +409 -0
  147. pumpkin_solver-0.3.0/pumpkin-crates/core/src/containers/keyed_vec.rs +208 -0
  148. pumpkin_solver-0.3.0/pumpkin-crates/core/src/containers/mod.rs +18 -0
  149. pumpkin_solver-0.3.0/pumpkin-crates/core/src/containers/sparse_set.rs +258 -0
  150. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs +1469 -0
  151. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/assignments.rs +2176 -0
  152. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/mod.rs +114 -0
  153. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/propagator_queue.rs +120 -0
  154. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/reason.rs +234 -0
  155. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/test_helper.rs +256 -0
  156. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/test_solver.rs +357 -0
  157. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/trailed/mod.rs +6 -0
  158. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/trailed/trailed_integer.rs +18 -0
  159. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/cp/trailed/trailed_values.rs +98 -0
  160. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/debug_helper.rs +492 -0
  161. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/literal_block_distance.rs +43 -0
  162. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/mod.rs +28 -0
  163. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_event_watch_list.rs +134 -0
  164. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_events.rs +44 -0
  165. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/domain_event_notification/event_sink.rs +147 -0
  166. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/domain_event_notification/mod.rs +8 -0
  167. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/domain_event_notification/opaque_domain_event.rs +21 -0
  168. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/mod.rs +582 -0
  169. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/predicate_notification/mod.rs +6 -0
  170. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_assignments.rs +222 -0
  171. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_notifier.rs +136 -0
  172. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_tracker.rs +1157 -0
  173. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/predicates/predicate.rs +324 -0
  174. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/restart_strategy.rs +289 -0
  175. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/solver_statistics.rs +35 -0
  176. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/state.rs +1238 -0
  177. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/termination/time_budget.rs +27 -0
  178. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/variable_names.rs +22 -0
  179. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/variables/affine_view.rs +453 -0
  180. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/variables/domain_id.rs +214 -0
  181. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/variables/integer_variable.rs +72 -0
  182. pumpkin_solver-0.3.0/pumpkin-crates/core/src/engine/variables/literal.rs +224 -0
  183. pumpkin_solver-0.3.0/pumpkin-crates/core/src/lib.rs +46 -0
  184. pumpkin_solver-0.3.0/pumpkin-crates/core/src/optimisation/linear_sat_unsat.rs +116 -0
  185. pumpkin_solver-0.3.0/pumpkin-crates/core/src/optimisation/linear_unsat_sat.rs +155 -0
  186. pumpkin_solver-0.3.0/pumpkin-crates/core/src/optimisation/mod.rs +44 -0
  187. pumpkin_solver-0.3.0/pumpkin-crates/core/src/optimisation/solution_callback.rs +68 -0
  188. pumpkin_solver-0.3.0/pumpkin-crates/core/src/proof/dimacs.rs +67 -0
  189. pumpkin_solver-0.3.0/pumpkin-crates/core/src/proof/finalizer.rs +161 -0
  190. pumpkin_solver-0.3.0/pumpkin-crates/core/src/proof/inference_code.rs +144 -0
  191. pumpkin_solver-0.3.0/pumpkin-crates/core/src/proof/mod.rs +377 -0
  192. pumpkin_solver-0.3.0/pumpkin-crates/core/src/proof/proof_atomics.rs +89 -0
  193. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/constructor.rs +342 -0
  194. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/contexts/explanation_context.rs +153 -0
  195. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/contexts/mod.rs +5 -0
  196. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/contexts/propagation_context.rs +295 -0
  197. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/domains.rs +268 -0
  198. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/local_id.rs +32 -0
  199. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/mod.rs +107 -0
  200. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/propagator.rs +245 -0
  201. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/propagator_id.rs +23 -0
  202. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/propagator_var_id.rs +9 -0
  203. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagation/store.rs +152 -0
  204. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/hypercube_linear/checker.rs +35 -0
  205. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/hypercube_linear/hypercube.rs +132 -0
  206. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/hypercube_linear/linear.rs +160 -0
  207. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/hypercube_linear/mod.rs +9 -0
  208. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/hypercube_linear/propagator.rs +694 -0
  209. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/mod.rs +5 -0
  210. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/nogoods/arena_allocator.rs +150 -0
  211. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/nogoods/checker.rs +23 -0
  212. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/nogoods/mod.rs +12 -0
  213. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs +1367 -0
  214. pumpkin_solver-0.3.0/pumpkin-crates/core/src/propagators/reified_propagator.rs +495 -0
  215. pumpkin_solver-0.3.0/pumpkin-crates/core/src/pumpkin_asserts.rs +100 -0
  216. pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics/mod.rs +62 -0
  217. pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics/moving_averages/cumulative_moving_average.rs +77 -0
  218. pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics/moving_averages/mod.rs +7 -0
  219. pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics/moving_averages/moving_average.rs +13 -0
  220. pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics/statistic_logger.rs +35 -0
  221. pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics/statistic_logging.rs +112 -0
  222. pumpkin_solver-0.3.0/pumpkin-crates/propagators/CHANGELOG.md +21 -0
  223. pumpkin_solver-0.3.0/pumpkin-crates/propagators/Cargo.toml +22 -0
  224. pumpkin_solver-0.3.0/pumpkin-crates/propagators/clippy.toml +7 -0
  225. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/lib.rs +6 -0
  226. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/absolute_value.rs +328 -0
  227. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/binary/binary_equals.rs +543 -0
  228. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/binary/binary_not_equals.rs +296 -0
  229. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/binary/mod.rs +5 -0
  230. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/integer_division.rs +484 -0
  231. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/integer_multiplication.rs +603 -0
  232. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/linear_less_or_equal.rs +412 -0
  233. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/linear_not_equal.rs +513 -0
  234. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/maximum.rs +332 -0
  235. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/arithmetic/mod.rs +16 -0
  236. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/mod.rs +89 -0
  237. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/options.rs +60 -0
  238. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/checker.rs +576 -0
  239. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/explanations/big_step.rs +151 -0
  240. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/explanations/mod.rs +283 -0
  241. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/explanations/naive.rs +149 -0
  242. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/explanations/pointwise.rs +430 -0
  243. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/mod.rs +81 -0
  244. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/checks.rs +214 -0
  245. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/debug.rs +225 -0
  246. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/insertion.rs +142 -0
  247. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/mod.rs +8 -0
  248. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/removal.rs +157 -0
  249. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/synchronisation.rs +144 -0
  250. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/over_interval_incremental_propagator/time_table_over_interval_incremental.rs +1236 -0
  251. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/per_point_incremental_propagator/mod.rs +4 -0
  252. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/per_point_incremental_propagator/synchronisation.rs +236 -0
  253. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/per_point_incremental_propagator/time_table_per_point_incremental.rs +1835 -0
  254. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/propagation_handler.rs +815 -0
  255. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/time_table_over_interval.rs +1057 -0
  256. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/time_table_per_point.rs +879 -0
  257. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/time_table/time_table_util.rs +913 -0
  258. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/mod.rs +9 -0
  259. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/structs/mod.rs +13 -0
  260. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/structs/parameters.rs +52 -0
  261. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/structs/resource_profile.rs +33 -0
  262. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/structs/task.rs +52 -0
  263. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/structs/updatable_structures.rs +261 -0
  264. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/cumulative/utils/util.rs +102 -0
  265. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/disjunctive/checker.rs +496 -0
  266. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/disjunctive/disjunctive_propagator.rs +462 -0
  267. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/disjunctive/disjunctive_task.rs +19 -0
  268. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/disjunctive/mod.rs +16 -0
  269. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/disjunctive/theta_lambda_tree.rs +490 -0
  270. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/disjunctive/theta_tree.rs +161 -0
  271. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/element.rs +580 -0
  272. pumpkin_solver-0.3.0/pumpkin-crates/propagators/src/propagators/mod.rs +10 -0
  273. pumpkin_solver-0.3.0/pumpkin-macros/Cargo.toml +24 -0
  274. pumpkin_solver-0.3.0/pumpkin-macros/src/lib.rs +158 -0
  275. pumpkin_solver-0.3.0/pumpkin-solver/CHANGELOG.md +171 -0
  276. pumpkin_solver-0.3.0/pumpkin-solver/Cargo.toml +40 -0
  277. pumpkin_solver-0.3.0/pumpkin-solver/examples/bibd.rs +194 -0
  278. pumpkin_solver-0.3.0/pumpkin-solver/examples/disjunctive_scheduling.rs +128 -0
  279. pumpkin_solver-0.3.0/pumpkin-solver/examples/nqueens.rs +122 -0
  280. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/ast.rs +445 -0
  281. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/collect_domains.rs +102 -0
  282. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/context.rs +814 -0
  283. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_objective.rs +44 -0
  284. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_search_strategy.rs +239 -0
  285. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_constants.rs +84 -0
  286. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_variable_arrays.rs +186 -0
  287. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/merge_equivalences.rs +343 -0
  288. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/mod.rs +46 -0
  289. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/post_constraints.rs +1016 -0
  290. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/prepare_variables.rs +246 -0
  291. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/instance.rs +139 -0
  292. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/mod.rs +674 -0
  293. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/parser.rs +169 -0
  294. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/main.rs +724 -0
  295. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/cardinality_networks_encoder.rs +472 -0
  296. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/generalised_totaliser_encoder.rs +321 -0
  297. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/pseudo_boolean_constraint_encoder.rs +379 -0
  298. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/weighted_literal.rs +8 -0
  299. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/mod.rs +65 -0
  300. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/linear_search.rs +149 -0
  301. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_result.rs +19 -0
  302. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_solver.rs +86 -0
  303. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/os_signal_termination.rs +40 -0
  304. pumpkin_solver-0.3.0/pumpkin-solver/src/bin/pumpkin-solver/parsers/dimacs.rs +703 -0
  305. pumpkin_solver-0.3.0/pumpkin-solver/src/lib.rs +358 -0
  306. pumpkin_solver-0.3.0/pumpkin-solver/tests/cnf/.gitignore +5 -0
  307. pumpkin_solver-0.3.0/pumpkin-solver/tests/cnf_test.rs +152 -0
  308. pumpkin_solver-0.3.0/pumpkin-solver/tests/core_extraction.rs +59 -0
  309. pumpkin_solver-0.3.0/pumpkin-solver/tests/helpers/flatzinc.rs +161 -0
  310. pumpkin_solver-0.3.0/pumpkin-solver/tests/helpers/mod.rs +356 -0
  311. pumpkin_solver-0.3.0/pumpkin-solver/tests/iteration_test.rs +73 -0
  312. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_constraint_test.rs +97 -0
  313. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/.gitignore +6 -0
  314. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/connected.fzn +203 -0
  315. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/connected.template +21 -0
  316. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/ghoulomb_3_5_11.fzn +7757 -0
  317. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/rcpsp_00_unsat.fzn +101 -0
  318. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/rcpsp_01_unsat.fzn +101 -0
  319. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/rcpsp_bl2006.fzn +63 -0
  320. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/rcpsp_j60_1_6.fzn +176 -0
  321. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible/rcpsp_st27_14.fzn +90 -0
  322. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_infeasible_test.rs +44 -0
  323. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/.gitignore +6 -0
  324. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/ghoulomb_3_5_11.expected +9 -0
  325. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/ghoulomb_3_5_11.fzn +7757 -0
  326. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_00.expected +16 -0
  327. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_00.fzn +101 -0
  328. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_01.expected +40 -0
  329. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_01.fzn +101 -0
  330. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_bl2006.expected +7 -0
  331. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_bl2006.fzn +63 -0
  332. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_j60_1_6.expected +10 -0
  333. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_j60_1_6.fzn +176 -0
  334. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_st27_14.expected +46 -0
  335. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization/rcpsp_st27_14.fzn +90 -0
  336. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_optimization_test.rs +46 -0
  337. pumpkin_solver-0.3.0/pumpkin-solver/tests/mzn_search_test.rs +47 -0
  338. pumpkin_solver-0.3.0/pumpkin-solver/tests/solver_test.rs +81 -0
  339. pumpkin_solver-0.3.0/pumpkin-solver/tests/wcnf_test.rs +65 -0
  340. pumpkin_solver-0.3.0/pumpkin-solver-py/Cargo.toml +26 -0
  341. pumpkin_solver-0.3.0/pumpkin-solver-py/examples/nqueens.py +56 -0
  342. pumpkin_solver-0.3.0/pumpkin-solver-py/examples/optimisation.py +41 -0
  343. pumpkin_solver-0.3.0/pumpkin-solver-py/src/brancher.rs +99 -0
  344. pumpkin_solver-0.3.0/pumpkin-solver-py/src/constraints/arguments.rs +47 -0
  345. pumpkin_solver-0.3.0/pumpkin-solver-py/src/constraints/globals.rs +194 -0
  346. pumpkin_solver-0.3.0/pumpkin-solver-py/src/constraints/mod.rs +65 -0
  347. pumpkin_solver-0.3.0/pumpkin-solver-py/src/lib.rs +43 -0
  348. pumpkin_solver-0.3.0/pumpkin-solver-py/src/model.rs +388 -0
  349. pumpkin_solver-0.3.0/pumpkin-solver-py/src/result.rs +50 -0
  350. pumpkin_solver-0.3.0/pumpkin-solver-py/src/variables.rs +90 -0
  351. pumpkin_solver-0.3.0/pumpkin-solver-py/tests/test_boolean_integer_conversion.py +30 -0
  352. pumpkin_solver-0.3.0/pumpkin-solver-py/tests/test_constraints.py +275 -0
  353. pumpkin_solver-0.3.0/pumpkin-solver-py/tests/test_optimisation.py +53 -0
  354. pumpkin_solver-0.3.0/pumpkin-solver-py/uv.lock +282 -0
  355. pumpkin_solver-0.3.0/pyproject.toml +21 -0
  356. pumpkin_solver-0.2.2/Cargo.lock +0 -974
  357. pumpkin_solver-0.2.2/Cargo.toml +0 -76
  358. pumpkin_solver-0.2.2/PKG-INFO +0 -9
  359. pumpkin_solver-0.2.2/drcp-format/CHANGELOG.md +0 -41
  360. pumpkin_solver-0.2.2/drcp-format/Cargo.toml +0 -15
  361. pumpkin_solver-0.2.2/drcp-format/src/reader/mod.rs +0 -411
  362. pumpkin_solver-0.2.2/drcp-format/src/reader/parser.rs +0 -531
  363. pumpkin_solver-0.2.2/drcp-format/src/writer/mod.rs +0 -328
  364. pumpkin_solver-0.2.2/pumpkin-crates/core/CHANGELOG.md +0 -32
  365. pumpkin_solver-0.2.2/pumpkin-crates/core/Cargo.toml +0 -36
  366. pumpkin_solver-0.2.2/pumpkin-crates/core/src/api/mod.rs +0 -136
  367. pumpkin_solver-0.2.2/pumpkin-crates/core/src/api/outputs/mod.rs +0 -93
  368. pumpkin_solver-0.2.2/pumpkin-crates/core/src/api/outputs/solution_iterator.rs +0 -128
  369. pumpkin_solver-0.2.2/pumpkin-crates/core/src/api/outputs/unsatisfiable.rs +0 -118
  370. pumpkin_solver-0.2.2/pumpkin-crates/core/src/api/solver.rs +0 -551
  371. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/mod.rs +0 -27
  372. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/moving_averages/cumulative_moving_average.rs +0 -77
  373. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/moving_averages/mod.rs +0 -7
  374. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/moving_averages/moving_average.rs +0 -13
  375. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/predicate_id_generators/deletable_predicate_id_generator.rs +0 -153
  376. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/predicate_id_generators/mod.rs +0 -6
  377. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/predicate_id_generators/predicate_id_generator.rs +0 -199
  378. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/propagation_status_cp.rs +0 -36
  379. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/propositional_conjunction.rs +0 -264
  380. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/random.rs +0 -197
  381. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/solution.rs +0 -99
  382. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/stored_conflict_info.rs +0 -20
  383. pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types/trail.rs +0 -162
  384. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/brancher.rs +0 -142
  385. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/alternating/alternating_brancher.rs +0 -134
  386. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_restarts.rs +0 -173
  387. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_solutions.rs +0 -81
  388. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/alternating/strategies/mod.rs +0 -65
  389. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/alternating/strategies/other_only.rs +0 -37
  390. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/alternating/strategies/until_solution.rs +0 -229
  391. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/autonomous_search.rs +0 -498
  392. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/dynamic_brancher.rs +0 -169
  393. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/branchers/independent_variable_value_brancher.rs +0 -101
  394. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/mod.rs +0 -86
  395. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/selection_context.rs +0 -98
  396. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/tie_breaking/random_tie_breaker.rs +0 -211
  397. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/dynamic_value_selector.rs +0 -54
  398. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_interval.rs +0 -105
  399. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_max.rs +0 -46
  400. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_median.rs +0 -93
  401. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_middle.rs +0 -147
  402. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_min.rs +0 -46
  403. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_random.rs +0 -84
  404. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_split.rs +0 -86
  405. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/in_domain_split_random.rs +0 -65
  406. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/out_domain_max.rs +0 -46
  407. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/out_domain_median.rs +0 -71
  408. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/out_domain_min.rs +0 -46
  409. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/out_domain_random.rs +0 -61
  410. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/random_splitter.rs +0 -80
  411. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/reverse_in_domain_split.rs +0 -74
  412. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/value_selection/value_selector.rs +0 -63
  413. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/anti_first_fail.rs +0 -130
  414. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/dynamic_variable_selector.rs +0 -53
  415. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/first_fail.rs +0 -129
  416. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/input_order.rs +0 -99
  417. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/largest.rs +0 -132
  418. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/max_regret.rs +0 -157
  419. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/most_constrained.rs +0 -156
  420. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/occurrence.rs +0 -94
  421. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/proportional_domain_size.rs +0 -75
  422. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/random.rs +0 -163
  423. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/smallest.rs +0 -125
  424. pumpkin_solver-0.2.2/pumpkin-crates/core/src/branching/variable_selection/variable_selector.rs +0 -70
  425. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/all_different.rs +0 -25
  426. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/arithmetic/equality.rs +0 -228
  427. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/arithmetic/inequality.rs +0 -142
  428. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/arithmetic/mod.rs +0 -94
  429. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/boolean.rs +0 -112
  430. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/clause.rs +0 -108
  431. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/constraint_poster.rs +0 -71
  432. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/cumulative.rs +0 -341
  433. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/disjunctive_strict.rs +0 -74
  434. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/element.rs +0 -19
  435. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/mod.rs +0 -155
  436. pumpkin_solver-0.2.2/pumpkin-crates/core/src/constraints/table.rs +0 -211
  437. pumpkin_solver-0.2.2/pumpkin-crates/core/src/containers/key_value_heap.rs +0 -403
  438. pumpkin_solver-0.2.2/pumpkin-crates/core/src/containers/keyed_vec.rs +0 -194
  439. pumpkin_solver-0.2.2/pumpkin-crates/core/src/containers/mod.rs +0 -16
  440. pumpkin_solver-0.2.2/pumpkin-crates/core/src/containers/sparse_set.rs +0 -258
  441. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/conflict_analysis_context.rs +0 -496
  442. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/learned_nogood.rs +0 -7
  443. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/minimisers/mod.rs +0 -5
  444. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/minimisers/recursive_minimiser.rs +0 -289
  445. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/minimisers/semantic_minimiser.rs +0 -515
  446. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/mod.rs +0 -12
  447. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/conflict_resolver.rs +0 -15
  448. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/mod.rs +0 -7
  449. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/no_learning_resolver.rs +0 -33
  450. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/resolution_resolver.rs +0 -415
  451. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs +0 -1966
  452. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/assignments.rs +0 -2153
  453. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/mod.rs +0 -120
  454. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/constructor.rs +0 -259
  455. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/contexts/explanation_context.rs +0 -138
  456. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/contexts/mod.rs +0 -4
  457. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/contexts/propagation_context.rs +0 -379
  458. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/local_id.rs +0 -32
  459. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/mod.rs +0 -107
  460. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/propagator.rs +0 -195
  461. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/propagator_id.rs +0 -23
  462. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/propagator_var_id.rs +0 -9
  463. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagation/store.rs +0 -143
  464. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/propagator_queue.rs +0 -76
  465. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/reason.rs +0 -234
  466. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/test_helper.rs +0 -256
  467. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/test_solver.rs +0 -381
  468. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/trailed/mod.rs +0 -6
  469. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/trailed/trailed_integer.rs +0 -16
  470. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/cp/trailed/trailed_values.rs +0 -97
  471. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/debug_helper.rs +0 -504
  472. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/literal_block_distance.rs +0 -45
  473. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/mod.rs +0 -28
  474. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_event_watch_list.rs +0 -129
  475. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_events.rs +0 -48
  476. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/domain_event_notification/event_sink.rs +0 -147
  477. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/domain_event_notification/mod.rs +0 -8
  478. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/domain_event_notification/opaque_domain_event.rs +0 -18
  479. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/mod.rs +0 -583
  480. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/mod.rs +0 -7
  481. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_assignments.rs +0 -235
  482. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_notifier.rs +0 -170
  483. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_tracker_for_domain.rs +0 -194
  484. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/disequality_tracker.rs +0 -158
  485. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/equality_tracker.rs +0 -152
  486. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/lower_bound_tracker.rs +0 -79
  487. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/mod.rs +0 -476
  488. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/upper_bound_tracker.rs +0 -78
  489. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/predicates/predicate.rs +0 -280
  490. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/restart_strategy.rs +0 -289
  491. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/solver_statistics.rs +0 -101
  492. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/termination/time_budget.rs +0 -28
  493. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/variable_names.rs +0 -21
  494. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/variables/affine_view.rs +0 -320
  495. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/variables/domain_id.rs +0 -129
  496. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/variables/integer_variable.rs +0 -63
  497. pumpkin_solver-0.2.2/pumpkin-crates/core/src/engine/variables/literal.rs +0 -167
  498. pumpkin_solver-0.2.2/pumpkin-crates/core/src/lib.rs +0 -39
  499. pumpkin_solver-0.2.2/pumpkin-crates/core/src/optimisation/linear_sat_unsat.rs +0 -103
  500. pumpkin_solver-0.2.2/pumpkin-crates/core/src/optimisation/linear_unsat_sat.rs +0 -144
  501. pumpkin_solver-0.2.2/pumpkin-crates/core/src/optimisation/mod.rs +0 -41
  502. pumpkin_solver-0.2.2/pumpkin-crates/core/src/optimisation/solution_callback.rs +0 -21
  503. pumpkin_solver-0.2.2/pumpkin-crates/core/src/proof/dimacs.rs +0 -75
  504. pumpkin_solver-0.2.2/pumpkin-crates/core/src/proof/finalizer.rs +0 -144
  505. pumpkin_solver-0.2.2/pumpkin-crates/core/src/proof/inference_code.rs +0 -127
  506. pumpkin_solver-0.2.2/pumpkin-crates/core/src/proof/mod.rs +0 -349
  507. pumpkin_solver-0.2.2/pumpkin-crates/core/src/proof/proof_atomics.rs +0 -89
  508. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/absolute_value.rs +0 -269
  509. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/binary/binary_equals.rs +0 -490
  510. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/binary/binary_not_equals.rs +0 -261
  511. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/binary/mod.rs +0 -5
  512. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/integer_division.rs +0 -401
  513. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/integer_multiplication.rs +0 -467
  514. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/linear_less_or_equal.rs +0 -351
  515. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/linear_not_equal.rs +0 -478
  516. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/maximum.rs +0 -278
  517. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/arithmetic/mod.rs +0 -7
  518. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/mod.rs +0 -125
  519. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/options.rs +0 -58
  520. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/big_step.rs +0 -149
  521. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/mod.rs +0 -155
  522. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/naive.rs +0 -154
  523. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/pointwise.rs +0 -414
  524. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/mod.rs +0 -91
  525. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/checks.rs +0 -213
  526. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/debug.rs +0 -222
  527. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/insertion.rs +0 -141
  528. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/mod.rs +0 -8
  529. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/removal.rs +0 -156
  530. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/synchronisation.rs +0 -163
  531. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/time_table_over_interval_incremental.rs +0 -1206
  532. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/mod.rs +0 -4
  533. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/synchronisation.rs +0 -234
  534. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/time_table_per_point_incremental.rs +0 -1907
  535. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/propagation_handler.rs +0 -809
  536. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_over_interval.rs +0 -1035
  537. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_per_point.rs +0 -858
  538. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_util.rs +0 -889
  539. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/mod.rs +0 -8
  540. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/structs/mod.rs +0 -13
  541. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/structs/parameters.rs +0 -51
  542. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/structs/resource_profile.rs +0 -42
  543. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/structs/task.rs +0 -61
  544. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/structs/updatable_structures.rs +0 -260
  545. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/cumulative/utils/util.rs +0 -102
  546. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/disjunctive/disjunctive_propagator.rs +0 -443
  547. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/disjunctive/disjunctive_task.rs +0 -16
  548. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/disjunctive/mod.rs +0 -8
  549. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/disjunctive/theta_lambda_tree.rs +0 -494
  550. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/disjunctive/theta_tree.rs +0 -160
  551. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/element.rs +0 -447
  552. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/mod.rs +0 -18
  553. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/nogoods/arena_allocator.rs +0 -139
  554. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/nogoods/mod.rs +0 -10
  555. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs +0 -1388
  556. pumpkin_solver-0.2.2/pumpkin-crates/core/src/propagators/reified_propagator.rs +0 -466
  557. pumpkin_solver-0.2.2/pumpkin-crates/core/src/pumpkin_asserts.rs +0 -90
  558. pumpkin_solver-0.2.2/pumpkin-crates/core/src/statistics/mod.rs +0 -61
  559. pumpkin_solver-0.2.2/pumpkin-crates/core/src/statistics/statistic_logger.rs +0 -35
  560. pumpkin_solver-0.2.2/pumpkin-crates/core/src/statistics/statistic_logging.rs +0 -102
  561. pumpkin_solver-0.2.2/pumpkin-macros/Cargo.toml +0 -23
  562. pumpkin_solver-0.2.2/pumpkin-macros/src/lib.rs +0 -158
  563. pumpkin_solver-0.2.2/pumpkin-solver/CHANGELOG.md +0 -160
  564. pumpkin_solver-0.2.2/pumpkin-solver/Cargo.toml +0 -37
  565. pumpkin_solver-0.2.2/pumpkin-solver/examples/bibd.rs +0 -192
  566. pumpkin_solver-0.2.2/pumpkin-solver/examples/disjunctive_scheduling.rs +0 -127
  567. pumpkin_solver-0.2.2/pumpkin-solver/examples/nqueens.rs +0 -117
  568. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/ast.rs +0 -429
  569. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/collect_domains.rs +0 -102
  570. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/context.rs +0 -812
  571. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_objective.rs +0 -44
  572. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_search_strategy.rs +0 -239
  573. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_constants.rs +0 -84
  574. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_variable_arrays.rs +0 -186
  575. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/merge_equivalences.rs +0 -343
  576. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/mod.rs +0 -46
  577. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/post_constraints.rs +0 -905
  578. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/prepare_variables.rs +0 -246
  579. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/instance.rs +0 -139
  580. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/mod.rs +0 -614
  581. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/parser.rs +0 -167
  582. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/main.rs +0 -688
  583. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/cardinality_networks_encoder.rs +0 -462
  584. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/generalised_totaliser_encoder.rs +0 -321
  585. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/pseudo_boolean_constraint_encoder.rs +0 -378
  586. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/weighted_literal.rs +0 -8
  587. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/mod.rs +0 -63
  588. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/linear_search.rs +0 -136
  589. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_result.rs +0 -19
  590. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_solver.rs +0 -81
  591. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/os_signal_termination.rs +0 -34
  592. pumpkin_solver-0.2.2/pumpkin-solver/src/bin/pumpkin-solver/parsers/dimacs.rs +0 -703
  593. pumpkin_solver-0.2.2/pumpkin-solver/src/lib.rs +0 -304
  594. pumpkin_solver-0.2.2/pumpkin-solver/tests/cnf_test.rs +0 -145
  595. pumpkin_solver-0.2.2/pumpkin-solver/tests/helpers/flatzinc.rs +0 -145
  596. pumpkin_solver-0.2.2/pumpkin-solver/tests/helpers/mod.rs +0 -320
  597. pumpkin_solver-0.2.2/pumpkin-solver/tests/iteration_test.rs +0 -68
  598. pumpkin_solver-0.2.2/pumpkin-solver/tests/mzn_constraint_test.rs +0 -96
  599. pumpkin_solver-0.2.2/pumpkin-solver/tests/mzn_infeasible/.gitignore +0 -4
  600. pumpkin_solver-0.2.2/pumpkin-solver/tests/mzn_infeasible_test.rs +0 -20
  601. pumpkin_solver-0.2.2/pumpkin-solver/tests/mzn_optimization/.gitignore +0 -4
  602. pumpkin_solver-0.2.2/pumpkin-solver/tests/mzn_optimization_test.rs +0 -24
  603. pumpkin_solver-0.2.2/pumpkin-solver/tests/mzn_search_test.rs +0 -45
  604. pumpkin_solver-0.2.2/pumpkin-solver/tests/solver_test.rs +0 -65
  605. pumpkin_solver-0.2.2/pumpkin-solver/tests/wcnf/.gitignore +0 -4
  606. pumpkin_solver-0.2.2/pumpkin-solver/tests/wcnf_test.rs +0 -64
  607. pumpkin_solver-0.2.2/pumpkin-solver-py/Cargo.toml +0 -23
  608. pumpkin_solver-0.2.2/pumpkin-solver-py/examples/nqueens.py +0 -54
  609. pumpkin_solver-0.2.2/pumpkin-solver-py/src/constraints/arguments.rs +0 -48
  610. pumpkin_solver-0.2.2/pumpkin-solver-py/src/constraints/globals.rs +0 -197
  611. pumpkin_solver-0.2.2/pumpkin-solver-py/src/constraints/mod.rs +0 -67
  612. pumpkin_solver-0.2.2/pumpkin-solver-py/src/lib.rs +0 -42
  613. pumpkin_solver-0.2.2/pumpkin-solver-py/src/model.rs +0 -528
  614. pumpkin_solver-0.2.2/pumpkin-solver-py/src/result.rs +0 -48
  615. pumpkin_solver-0.2.2/pumpkin-solver-py/src/variables.rs +0 -197
  616. pumpkin_solver-0.2.2/pumpkin-solver-py/tests/test_constraints.py +0 -242
  617. pumpkin_solver-0.2.2/pumpkin-solver-py/tests/test_optimisation.py +0 -28
  618. pumpkin_solver-0.2.2/pyproject.toml +0 -20
  619. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/drcp-format/README.md +0 -0
  620. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/drcp-format/src/lib.rs +0 -0
  621. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/drcp-format/src/reader/error.rs +0 -0
  622. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/constraint_operation_error.rs +0 -0
  623. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/constraint_reference.rs +0 -0
  624. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/csp_solver_execution_flag.rs +0 -0
  625. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/function.rs +0 -0
  626. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/sequence_generators/constant_sequence.rs +0 -0
  627. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/sequence_generators/geometric_sequence.rs +0 -0
  628. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/sequence_generators/luby_sequence.rs +0 -0
  629. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/sequence_generators/mod.rs +0 -0
  630. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/sequence_generators/sequence_generator.rs +0 -0
  631. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/basic_types/sequence_generators/sequence_generator_type.rs +0 -0
  632. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/branchers/alternating/mod.rs +0 -0
  633. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/branchers/mod.rs +0 -0
  634. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/branchers/warm_start.rs +0 -0
  635. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/tie_breaking/in_order_tie_breaker.rs +0 -0
  636. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/tie_breaking/mod.rs +0 -0
  637. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/tie_breaking/tie_breaker.rs +0 -0
  638. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/value_selection/mod.rs +0 -0
  639. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/branching/variable_selection/mod.rs +0 -0
  640. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/containers/key_generator.rs +0 -0
  641. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/constraint_tag.rs +0 -0
  642. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/cp/trailed/trailed_change.rs +0 -0
  643. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/predicates/mod.rs +0 -0
  644. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/predicates/predicate_constructor.rs +0 -0
  645. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/termination/combinator.rs +0 -0
  646. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/termination/indefinite.rs +0 -0
  647. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/termination/mod.rs +0 -0
  648. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/variables/domain_generator_iterator.rs +0 -0
  649. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/variables/mod.rs +0 -0
  650. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/variables/propositional_variable.rs +0 -0
  651. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/variables/propositional_variable_generator_iterator.rs +0 -0
  652. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/engine/variables/transformable_variable.rs +0 -0
  653. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/math/mod.rs +0 -0
  654. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/math/num_ext.rs +0 -0
  655. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/propagators/nogoods/learning_options.rs +0 -0
  656. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/propagators/nogoods/nogood_id.rs +0 -0
  657. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-crates/core/src/propagators/nogoods/nogood_info.rs +0 -0
  658. {pumpkin_solver-0.2.2/pumpkin-crates/core/src/basic_types → pumpkin_solver-0.3.0/pumpkin-crates/core/src/statistics}/moving_averages/windowed_moving_average.rs +0 -0
  659. {pumpkin_solver-0.2.2/pumpkin-crates/core → pumpkin_solver-0.3.0/pumpkin-crates/propagators}/src/propagators/cumulative/utils/structs/mandatory_part_adjustments.rs +0 -0
  660. {pumpkin_solver-0.2.2/pumpkin-crates/core → pumpkin_solver-0.3.0/pumpkin-crates/propagators}/src/propagators/cumulative/utils/structs/updated_task_info.rs +0 -0
  661. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/.gitignore +0 -0
  662. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/README.md +0 -0
  663. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/build.rs +0 -0
  664. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/file_format.rs +0 -0
  665. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/handle_set_in.rs +0 -0
  666. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/remove_unused_variables.rs +0 -0
  667. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/reserve_constraint_tags.rs +0 -0
  668. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/error.rs +0 -0
  669. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/mod.rs +0 -0
  670. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/mod.rs +0 -0
  671. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/stopwatch.rs +0 -0
  672. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/parsers/mod.rs +0 -0
  673. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/src/bin/pumpkin-solver/result.rs +0 -0
  674. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/README.md +0 -0
  675. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/add128.cnf +0 -0
  676. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/add16.cnf +0 -0
  677. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/add32.cnf +0 -0
  678. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/add4.cnf +0 -0
  679. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/add64.cnf +0 -0
  680. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/add8.cnf +0 -0
  681. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/block0.cnf +0 -0
  682. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/checkers/drat-trim.c +0 -0
  683. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/checkers/io.h +0 -0
  684. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/checkers/precochk.c +0 -0
  685. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/checkers/time.h +0 -0
  686. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/elimclash.cnf +0 -0
  687. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/elimredundant.cnf +0 -0
  688. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/empty.cnf +0 -0
  689. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/factor2708413neg.cnf +0 -0
  690. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/factor2708413pos.cnf +0 -0
  691. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full1.cnf +0 -0
  692. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full2.cnf +0 -0
  693. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full3.cnf +0 -0
  694. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full4.cnf +0 -0
  695. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full5.cnf +0 -0
  696. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full6.cnf +0 -0
  697. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/full7.cnf +0 -0
  698. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/ph2.cnf +0 -0
  699. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/ph3.cnf +0 -0
  700. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/ph4.cnf +0 -0
  701. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/ph5.cnf +0 -0
  702. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/ph6.cnf +0 -0
  703. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime121.cnf +0 -0
  704. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime1369.cnf +0 -0
  705. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime1681.cnf +0 -0
  706. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime169.cnf +0 -0
  707. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime1849.cnf +0 -0
  708. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime2209.cnf +0 -0
  709. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime25.cnf +0 -0
  710. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime289.cnf +0 -0
  711. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime361.cnf +0 -0
  712. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime4.cnf +0 -0
  713. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime4294967297.cnf +0 -0
  714. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime49.cnf +0 -0
  715. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime529.cnf +0 -0
  716. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime65537.cnf +0 -0
  717. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime841.cnf +0 -0
  718. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime9.cnf +0 -0
  719. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/prime961.cnf +0 -0
  720. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/regr000.cnf +0 -0
  721. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat0.cnf +0 -0
  722. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat1.cnf +0 -0
  723. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat10.cnf +0 -0
  724. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat11.cnf +0 -0
  725. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat12.cnf +0 -0
  726. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat13.cnf +0 -0
  727. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat2.cnf +0 -0
  728. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat3.cnf +0 -0
  729. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat4.cnf +0 -0
  730. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat5.cnf +0 -0
  731. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat6.cnf +0 -0
  732. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat7.cnf +0 -0
  733. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat8.cnf +0 -0
  734. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sat9.cnf +0 -0
  735. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt10201.cnf +0 -0
  736. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt1042441.cnf +0 -0
  737. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt10609.cnf +0 -0
  738. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt11449.cnf +0 -0
  739. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt11881.cnf +0 -0
  740. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt12769.cnf +0 -0
  741. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt16129.cnf +0 -0
  742. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt259081.cnf +0 -0
  743. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt2809.cnf +0 -0
  744. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt3481.cnf +0 -0
  745. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt3721.cnf +0 -0
  746. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt4489.cnf +0 -0
  747. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt5041.cnf +0 -0
  748. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt5329.cnf +0 -0
  749. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt6241.cnf +0 -0
  750. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt63001.cnf +0 -0
  751. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt6889.cnf +0 -0
  752. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt7921.cnf +0 -0
  753. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sqrt9409.cnf +0 -0
  754. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/sub0.cnf +0 -0
  755. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/trivially_false.cnf +0 -0
  756. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit0.cnf +0 -0
  757. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit1.cnf +0 -0
  758. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit2.cnf +0 -0
  759. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit3.cnf +0 -0
  760. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit4.cnf +0 -0
  761. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit5.cnf +0 -0
  762. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit6.cnf +0 -0
  763. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/cnf/unit7.cnf +0 -0
  764. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/.gitignore +0 -0
  765. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/all_different.expected +0 -0
  766. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/all_different.fzn +0 -0
  767. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/all_different.template +0 -0
  768. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/array_int_maximum.expected +0 -0
  769. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/array_int_maximum.fzn +0 -0
  770. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/array_int_minimum.expected +0 -0
  771. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/array_int_minimum.fzn +0 -0
  772. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/binary_int_lin_eq.expected +0 -0
  773. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/binary_int_lin_eq.fzn +0 -0
  774. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool2int.expected +0 -0
  775. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool2int.fzn +0 -0
  776. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool2int_mix.expected +0 -0
  777. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool2int_mix.fzn +0 -0
  778. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool2int_set.expected +0 -0
  779. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool2int_set.fzn +0 -0
  780. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_clause.expected +0 -0
  781. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_clause.fzn +0 -0
  782. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_lin_eq.expected +0 -0
  783. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_lin_eq.fzn +0 -0
  784. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_lin_le.expected +0 -0
  785. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_lin_le.fzn +0 -0
  786. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_not.expected +0 -0
  787. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_not.fzn +0 -0
  788. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_xor.expected +0 -0
  789. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_xor.fzn +0 -0
  790. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_xor.template +0 -0
  791. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_xor_reif.expected +0 -0
  792. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_xor_reif.fzn +0 -0
  793. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/bool_xor_reif.template +0 -0
  794. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/cumulative.expected +0 -0
  795. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/cumulative.fzn +0 -0
  796. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/cumulative.template +0 -0
  797. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/disjunctive_strict.expected +0 -0
  798. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/disjunctive_strict.fzn +0 -0
  799. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/disjunctive_strict.template +0 -0
  800. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/generate_expectations.sh +0 -0
  801. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_abs.expected +0 -0
  802. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_abs.fzn +0 -0
  803. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_div.expected +0 -0
  804. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_div.fzn +0 -0
  805. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_eq.expected +0 -0
  806. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_eq.fzn +0 -0
  807. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_eq_reif.expected +0 -0
  808. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_eq_reif.fzn +0 -0
  809. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_le.expected +0 -0
  810. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_le.fzn +0 -0
  811. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_le_reif.expected +0 -0
  812. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_le_reif.fzn +0 -0
  813. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_eq.expected +0 -0
  814. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_eq.fzn +0 -0
  815. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_eq_reif.expected +0 -0
  816. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_eq_reif.fzn +0 -0
  817. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_le.expected +0 -0
  818. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_le.fzn +0 -0
  819. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_le_reif.expected +0 -0
  820. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_le_reif.fzn +0 -0
  821. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_ne.expected +0 -0
  822. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_ne.fzn +0 -0
  823. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_ne_reif.expected +0 -0
  824. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lin_ne_reif.fzn +0 -0
  825. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lt.expected +0 -0
  826. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lt.fzn +0 -0
  827. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lt_reif.expected +0 -0
  828. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_lt_reif.fzn +0 -0
  829. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_max.expected +0 -0
  830. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_max.fzn +0 -0
  831. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_min.expected +0 -0
  832. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_min.fzn +0 -0
  833. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_mod.expected +0 -0
  834. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_mod.fzn +0 -0
  835. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_ne.expected +0 -0
  836. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_ne.fzn +0 -0
  837. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_ne_reif.expected +0 -0
  838. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_ne_reif.fzn +0 -0
  839. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_plus.expected +0 -0
  840. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_plus.fzn +0 -0
  841. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_times.expected +0 -0
  842. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/int_times.fzn +0 -0
  843. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in.expected +0 -0
  844. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in.fzn +0 -0
  845. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in_reif_interval.expected +0 -0
  846. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in_reif_interval.fzn +0 -0
  847. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in_reif_sparse.expected +0 -0
  848. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in_reif_sparse.fzn +0 -0
  849. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in_set.expected +0 -0
  850. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/set_in_set.fzn +0 -0
  851. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/table.expected +0 -0
  852. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/table.fzn +0 -0
  853. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/table.template +0 -0
  854. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/table_reif.expected +0 -0
  855. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/table_reif.fzn +0 -0
  856. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/table_reif.template +0 -0
  857. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/unbounded_integer.expected +0 -0
  858. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_constraints/unbounded_integer.fzn +0 -0
  859. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_infeasible/prop_stress.fzn +0 -0
  860. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/constant_objective.expected +0 -0
  861. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/constant_objective.fzn +0 -0
  862. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/maximise_1.expected +0 -0
  863. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/maximise_1.fzn +0 -0
  864. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/minimise_1.expected +0 -0
  865. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/minimise_1.fzn +0 -0
  866. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_maximise.expected +0 -0
  867. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_maximise.fzn +0 -0
  868. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_minimise.expected +0 -0
  869. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_minimise.fzn +0 -0
  870. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/unfixed_objective.expected +0 -0
  871. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_optimization/unfixed_objective.fzn +0 -0
  872. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/.gitignore +0 -0
  873. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_search_provided_directly.expected +0 -0
  874. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_search_provided_directly.fzn +0 -0
  875. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_warm_start.expected +0 -0
  876. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_warm_start.fzn +0 -0
  877. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_warm_start.template +0 -0
  878. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_warm_start_array.expected +0 -0
  879. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_warm_start_array.fzn +0 -0
  880. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/bool_warm_start_array.template +0 -0
  881. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/int_warm_start.expected +0 -0
  882. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/int_warm_start.fzn +0 -0
  883. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/int_warm_start.template +0 -0
  884. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/int_warm_start_array.expected +0 -0
  885. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/int_warm_start_array.fzn +0 -0
  886. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/int_warm_start_array.template +0 -0
  887. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_annotation_does_not_fix_all_variables.expected +0 -0
  888. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_annotation_does_not_fix_all_variables.fzn +0 -0
  889. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_over_bools_no_propagators.expected +0 -0
  890. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_over_bools_no_propagators.fzn +0 -0
  891. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_over_ints_no_propagators.expected +0 -0
  892. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_over_ints_no_propagators.fzn +0 -0
  893. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_with_constants_in_search.expected +0 -0
  894. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/search_with_constants_in_search.fzn +0 -0
  895. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/seq_search_1.expected +0 -0
  896. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/mzn_search/seq_search_1.fzn +0 -0
  897. {pumpkin_solver-0.2.2/pumpkin-solver/tests/cnf → pumpkin_solver-0.3.0/pumpkin-solver/tests/wcnf}/.gitignore +0 -0
  898. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/checkers/Wcnf.cc +0 -0
  899. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/checkers/Wcnf.h +0 -0
  900. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/checkers/maxsat-checker.cc +0 -0
  901. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/checkers/stream_utils.h +0 -0
  902. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/johnson8_2_4.wcnf +0 -0
  903. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/johnson8_4_4.wcnf +0 -0
  904. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/karate.wcnf +0 -0
  905. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/normalized_g2x2.wcnf +0 -0
  906. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/normalized_g9x3.wcnf +0 -0
  907. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/normalized_g9x9.wcnf +0 -0
  908. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/ram_k3_n9.wcnf +0 -0
  909. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/riskmap.wcnf +0 -0
  910. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/simple.wcnf +0 -0
  911. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver/tests/wcnf/test.cnf +0 -0
  912. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver-py/.gitignore +0 -0
  913. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver-py/README.md +0 -0
  914. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver-py/build.rs +0 -0
  915. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver-py/src/optimisation.rs +0 -0
  916. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver-py/tests/test_assumptions.py +0 -0
  917. {pumpkin_solver-0.2.2 → pumpkin_solver-0.3.0}/pumpkin-solver-py/tests/test_constraint_tags.py +0 -0
pumpkin_solver-0.3.0/Cargo.lock ADDED
@@ -0,0 +1,1611 @@
1
+ # This file is automatically @generated by Cargo.
2
+ # It is not intended for manual editing.
3
+ version = 4
4
+
5
+ [[package]]
6
+ name = "adler2"
7
+ version = "2.0.1"
8
+ source = "registry+https://github.com/rust-lang/crates.io-index"
9
+ checksum = "320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa"
10
+
11
+ [[package]]
12
+ name = "aho-corasick"
13
+ version = "1.1.4"
14
+ source = "registry+https://github.com/rust-lang/crates.io-index"
15
+ checksum = "ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301"
16
+ dependencies = [
17
+ "memchr",
18
+ ]
19
+
20
+ [[package]]
21
+ name = "allocator-api2"
22
+ version = "0.2.21"
23
+ source = "registry+https://github.com/rust-lang/crates.io-index"
24
+ checksum = "683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923"
25
+
26
+ [[package]]
27
+ name = "anstream"
28
+ version = "0.6.21"
29
+ source = "registry+https://github.com/rust-lang/crates.io-index"
30
+ checksum = "43d5b281e737544384e969a5ccad3f1cdd24b48086a0fc1b2a5262a26b8f4f4a"
31
+ dependencies = [
32
+ "anstyle",
33
+ "anstyle-parse",
34
+ "anstyle-query",
35
+ "anstyle-wincon",
36
+ "colorchoice",
37
+ "is_terminal_polyfill",
38
+ "utf8parse",
39
+ ]
40
+
41
+ [[package]]
42
+ name = "anstyle"
43
+ version = "1.0.13"
44
+ source = "registry+https://github.com/rust-lang/crates.io-index"
45
+ checksum = "5192cca8006f1fd4f7237516f40fa183bb07f8fbdfedaa0036de5ea9b0b45e78"
46
+
47
+ [[package]]
48
+ name = "anstyle-parse"
49
+ version = "0.2.7"
50
+ source = "registry+https://github.com/rust-lang/crates.io-index"
51
+ checksum = "4e7644824f0aa2c7b9384579234ef10eb7efb6a0deb83f9630a49594dd9c15c2"
52
+ dependencies = [
53
+ "utf8parse",
54
+ ]
55
+
56
+ [[package]]
57
+ name = "anstyle-query"
58
+ version = "1.1.5"
59
+ source = "registry+https://github.com/rust-lang/crates.io-index"
60
+ checksum = "40c48f72fd53cd289104fc64099abca73db4166ad86ea0b4341abe65af83dadc"
61
+ dependencies = [
62
+ "windows-sys 0.61.2",
63
+ ]
64
+
65
+ [[package]]
66
+ name = "anstyle-wincon"
67
+ version = "3.0.11"
68
+ source = "registry+https://github.com/rust-lang/crates.io-index"
69
+ checksum = "291e6a250ff86cd4a820112fb8898808a366d8f9f58ce16d1f538353ad55747d"
70
+ dependencies = [
71
+ "anstyle",
72
+ "once_cell_polyfill",
73
+ "windows-sys 0.61.2",
74
+ ]
75
+
76
+ [[package]]
77
+ name = "anyhow"
78
+ version = "1.0.101"
79
+ source = "registry+https://github.com/rust-lang/crates.io-index"
80
+ checksum = "5f0e0fee31ef5ed1ba1316088939cea399010ed7731dba877ed44aeb407a75ea"
81
+
82
+ [[package]]
83
+ name = "ar_archive_writer"
84
+ version = "0.5.1"
85
+ source = "registry+https://github.com/rust-lang/crates.io-index"
86
+ checksum = "7eb93bbb63b9c227414f6eb3a0adfddca591a8ce1e9b60661bb08969b87e340b"
87
+ dependencies = [
88
+ "object",
89
+ ]
90
+
91
+ [[package]]
92
+ name = "assert_cmd"
93
+ version = "2.1.2"
94
+ source = "registry+https://github.com/rust-lang/crates.io-index"
95
+ checksum = "9c5bcfa8749ac45dd12cb11055aeeb6b27a3895560d60d71e3c23bf979e60514"
96
+ dependencies = [
97
+ "anstyle",
98
+ "bstr",
99
+ "libc",
100
+ "predicates",
101
+ "predicates-core",
102
+ "predicates-tree",
103
+ "wait-timeout",
104
+ ]
105
+
106
+ [[package]]
107
+ name = "async-trait"
108
+ version = "0.1.89"
109
+ source = "registry+https://github.com/rust-lang/crates.io-index"
110
+ checksum = "9035ad2d096bed7955a320ee7e2230574d28fd3c3a0f186cbea1ff3c7eed5dbb"
111
+ dependencies = [
112
+ "proc-macro2",
113
+ "quote",
114
+ "syn",
115
+ ]
116
+
117
+ [[package]]
118
+ name = "autocfg"
119
+ version = "1.5.0"
120
+ source = "registry+https://github.com/rust-lang/crates.io-index"
121
+ checksum = "c08606f8c3cbf4ce6ec8e28fb0014a2c086708fe954eaa885384a6165172e7e8"
122
+
123
+ [[package]]
124
+ name = "bitfield"
125
+ version = "0.14.0"
126
+ source = "registry+https://github.com/rust-lang/crates.io-index"
127
+ checksum = "2d7e60934ceec538daadb9d8432424ed043a904d8e0243f3c6446bce549a46ac"
128
+
129
+ [[package]]
130
+ name = "bitfield-struct"
131
+ version = "0.9.5"
132
+ source = "registry+https://github.com/rust-lang/crates.io-index"
133
+ checksum = "b2869c63ccf4f8bf0d485070b880e60e097fb7aeea80ee82a0a94a957e372a0b"
134
+ dependencies = [
135
+ "proc-macro2",
136
+ "quote",
137
+ "syn",
138
+ ]
139
+
140
+ [[package]]
141
+ name = "bstr"
142
+ version = "1.12.1"
143
+ source = "registry+https://github.com/rust-lang/crates.io-index"
144
+ checksum = "63044e1ae8e69f3b5a92c736ca6269b8d12fa7efe39bf34ddb06d102cf0e2cab"
145
+ dependencies = [
146
+ "memchr",
147
+ "regex-automata 0.4.14",
148
+ "serde",
149
+ ]
150
+
151
+ [[package]]
152
+ name = "bumpalo"
153
+ version = "3.19.1"
154
+ source = "registry+https://github.com/rust-lang/crates.io-index"
155
+ checksum = "5dd9dc738b7a8311c7ade152424974d8115f2cdad61e8dab8dac9f2362298510"
156
+
157
+ [[package]]
158
+ name = "cast"
159
+ version = "0.3.0"
160
+ source = "registry+https://github.com/rust-lang/crates.io-index"
161
+ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5"
162
+
163
+ [[package]]
164
+ name = "cc"
165
+ version = "1.2.55"
166
+ source = "registry+https://github.com/rust-lang/crates.io-index"
167
+ checksum = "47b26a0954ae34af09b50f0de26458fa95369a0d478d8236d3f93082b219bd29"
168
+ dependencies = [
169
+ "find-msvc-tools",
170
+ "shlex",
171
+ ]
172
+
173
+ [[package]]
174
+ name = "cfg-if"
175
+ version = "1.0.4"
176
+ source = "registry+https://github.com/rust-lang/crates.io-index"
177
+ checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
178
+
179
+ [[package]]
180
+ name = "chumsky"
181
+ version = "0.10.1"
182
+ source = "registry+https://github.com/rust-lang/crates.io-index"
183
+ checksum = "14377e276b2c8300513dff55ba4cc4142b44e5d6de6d00eb5b2307d650bb4ec1"
184
+ dependencies = [
185
+ "hashbrown 0.15.5",
186
+ "regex-automata 0.3.9",
187
+ "serde",
188
+ "stacker",
189
+ "unicode-ident",
190
+ "unicode-segmentation",
191
+ ]
192
+
193
+ [[package]]
194
+ name = "clap"
195
+ version = "4.5.57"
196
+ source = "registry+https://github.com/rust-lang/crates.io-index"
197
+ checksum = "6899ea499e3fb9305a65d5ebf6e3d2248c5fab291f300ad0a704fbe142eae31a"
198
+ dependencies = [
199
+ "clap_builder",
200
+ "clap_derive",
201
+ ]
202
+
203
+ [[package]]
204
+ name = "clap_builder"
205
+ version = "4.5.57"
206
+ source = "registry+https://github.com/rust-lang/crates.io-index"
207
+ checksum = "7b12c8b680195a62a8364d16b8447b01b6c2c8f9aaf68bee653be34d4245e238"
208
+ dependencies = [
209
+ "anstream",
210
+ "anstyle",
211
+ "clap_lex",
212
+ "strsim",
213
+ ]
214
+
215
+ [[package]]
216
+ name = "clap_derive"
217
+ version = "4.5.55"
218
+ source = "registry+https://github.com/rust-lang/crates.io-index"
219
+ checksum = "a92793da1a46a5f2a02a6f4c46c6496b28c43638adea8306fcb0caa1634f24e5"
220
+ dependencies = [
221
+ "heck",
222
+ "proc-macro2",
223
+ "quote",
224
+ "syn",
225
+ ]
226
+
227
+ [[package]]
228
+ name = "clap_lex"
229
+ version = "0.7.7"
230
+ source = "registry+https://github.com/rust-lang/crates.io-index"
231
+ checksum = "c3e64b0cc0439b12df2fa678eae89a1c56a529fd067a9115f7827f1fffd22b32"
232
+
233
+ [[package]]
234
+ name = "colorchoice"
235
+ version = "1.0.4"
236
+ source = "registry+https://github.com/rust-lang/crates.io-index"
237
+ checksum = "b05b61dc5112cbb17e4b6cd61790d9845d13888356391624cbe7e41efeac1e75"
238
+
239
+ [[package]]
240
+ name = "convert_case"
241
+ version = "0.8.0"
242
+ source = "registry+https://github.com/rust-lang/crates.io-index"
243
+ checksum = "baaaa0ecca5b51987b9423ccdc971514dd8b0bb7b4060b983d3664dad3f1f89f"
244
+ dependencies = [
245
+ "unicode-segmentation",
246
+ ]
247
+
248
+ [[package]]
249
+ name = "crc32fast"
250
+ version = "1.5.0"
251
+ source = "registry+https://github.com/rust-lang/crates.io-index"
252
+ checksum = "9481c1c90cbf2ac953f07c8d4a58aa3945c425b7185c9154d67a65e4230da511"
253
+ dependencies = [
254
+ "cfg-if",
255
+ ]
256
+
257
+ [[package]]
258
+ name = "darling"
259
+ version = "0.21.3"
260
+ source = "registry+https://github.com/rust-lang/crates.io-index"
261
+ checksum = "9cdf337090841a411e2a7f3deb9187445851f91b309c0c0a29e05f74a00a48c0"
262
+ dependencies = [
263
+ "darling_core",
264
+ "darling_macro",
265
+ ]
266
+
267
+ [[package]]
268
+ name = "darling_core"
269
+ version = "0.21.3"
270
+ source = "registry+https://github.com/rust-lang/crates.io-index"
271
+ checksum = "1247195ecd7e3c85f83c8d2a366e4210d588e802133e1e355180a9870b517ea4"
272
+ dependencies = [
273
+ "fnv",
274
+ "ident_case",
275
+ "proc-macro2",
276
+ "quote",
277
+ "syn",
278
+ ]
279
+
280
+ [[package]]
281
+ name = "darling_macro"
282
+ version = "0.21.3"
283
+ source = "registry+https://github.com/rust-lang/crates.io-index"
284
+ checksum = "d38308df82d1080de0afee5d069fa14b0326a88c14f15c5ccda35b4a6c414c81"
285
+ dependencies = [
286
+ "darling_core",
287
+ "quote",
288
+ "syn",
289
+ ]
290
+
291
+ [[package]]
292
+ name = "derive_more"
293
+ version = "2.1.1"
294
+ source = "registry+https://github.com/rust-lang/crates.io-index"
295
+ checksum = "d751e9e49156b02b44f9c1815bcb94b984cdcc4396ecc32521c739452808b134"
296
+ dependencies = [
297
+ "derive_more-impl",
298
+ ]
299
+
300
+ [[package]]
301
+ name = "derive_more-impl"
302
+ version = "2.1.1"
303
+ source = "registry+https://github.com/rust-lang/crates.io-index"
304
+ checksum = "799a97264921d8623a957f6c3b9011f3b5492f557bbb7a5a19b7fa6d06ba8dcb"
305
+ dependencies = [
306
+ "proc-macro2",
307
+ "quote",
308
+ "rustc_version",
309
+ "syn",
310
+ ]
311
+
312
+ [[package]]
313
+ name = "difflib"
314
+ version = "0.4.0"
315
+ source = "registry+https://github.com/rust-lang/crates.io-index"
316
+ checksum = "6184e33543162437515c2e2b48714794e37845ec9851711914eec9d308f6ebe8"
317
+
318
+ [[package]]
319
+ name = "downcast-rs"
320
+ version = "1.2.1"
321
+ source = "registry+https://github.com/rust-lang/crates.io-index"
322
+ checksum = "75b325c5dbd37f80359721ad39aca5a29fb04c89279657cffdda8736d0c0b9d2"
323
+
324
+ [[package]]
325
+ name = "drcp-debugger"
326
+ version = "0.1.0"
327
+ dependencies = [
328
+ "anyhow",
329
+ "clap",
330
+ "drcp-format",
331
+ ]
332
+
333
+ [[package]]
334
+ name = "drcp-format"
335
+ version = "0.3.1"
336
+ dependencies = [
337
+ "thiserror",
338
+ ]
339
+
340
+ [[package]]
341
+ name = "dyn-clone"
342
+ version = "1.0.20"
343
+ source = "registry+https://github.com/rust-lang/crates.io-index"
344
+ checksum = "d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555"
345
+
346
+ [[package]]
347
+ name = "either"
348
+ version = "1.15.0"
349
+ source = "registry+https://github.com/rust-lang/crates.io-index"
350
+ checksum = "48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719"
351
+
352
+ [[package]]
353
+ name = "enum-map"
354
+ version = "2.7.3"
355
+ source = "registry+https://github.com/rust-lang/crates.io-index"
356
+ checksum = "6866f3bfdf8207509a033af1a75a7b08abda06bbaaeae6669323fd5a097df2e9"
357
+ dependencies = [
358
+ "enum-map-derive",
359
+ ]
360
+
361
+ [[package]]
362
+ name = "enum-map-derive"
363
+ version = "0.17.0"
364
+ source = "registry+https://github.com/rust-lang/crates.io-index"
365
+ checksum = "f282cfdfe92516eb26c2af8589c274c7c17681f5ecc03c18255fe741c6aa64eb"
366
+ dependencies = [
367
+ "proc-macro2",
368
+ "quote",
369
+ "syn",
370
+ ]
371
+
372
+ [[package]]
373
+ name = "enumset"
374
+ version = "1.1.10"
375
+ source = "registry+https://github.com/rust-lang/crates.io-index"
376
+ checksum = "25b07a8dfbbbfc0064c0a6bdf9edcf966de6b1c33ce344bdeca3b41615452634"
377
+ dependencies = [
378
+ "enumset_derive",
379
+ ]
380
+
381
+ [[package]]
382
+ name = "enumset_derive"
383
+ version = "0.14.0"
384
+ source = "registry+https://github.com/rust-lang/crates.io-index"
385
+ checksum = "f43e744e4ea338060faee68ed933e46e722fb7f3617e722a5772d7e856d8b3ce"
386
+ dependencies = [
387
+ "darling",
388
+ "proc-macro2",
389
+ "quote",
390
+ "syn",
391
+ ]
392
+
393
+ [[package]]
394
+ name = "env_logger"
395
+ version = "0.10.2"
396
+ source = "registry+https://github.com/rust-lang/crates.io-index"
397
+ checksum = "4cd405aab171cb85d6735e5c8d9db038c17d3ca007a4d2c25f337935c3d90580"
398
+ dependencies = [
399
+ "humantime",
400
+ "is-terminal",
401
+ "log",
402
+ "regex",
403
+ "termcolor",
404
+ ]
405
+
406
+ [[package]]
407
+ name = "equivalent"
408
+ version = "1.0.2"
409
+ source = "registry+https://github.com/rust-lang/crates.io-index"
410
+ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
411
+
412
+ [[package]]
413
+ name = "errno"
414
+ version = "0.3.14"
415
+ source = "registry+https://github.com/rust-lang/crates.io-index"
416
+ checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
417
+ dependencies = [
418
+ "libc",
419
+ "windows-sys 0.61.2",
420
+ ]
421
+
422
+ [[package]]
423
+ name = "find-msvc-tools"
424
+ version = "0.1.9"
425
+ source = "registry+https://github.com/rust-lang/crates.io-index"
426
+ checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
427
+
428
+ [[package]]
429
+ name = "flate2"
430
+ version = "1.1.9"
431
+ source = "registry+https://github.com/rust-lang/crates.io-index"
432
+ checksum = "843fba2746e448b37e26a819579957415c8cef339bf08564fe8b7ddbd959573c"
433
+ dependencies = [
434
+ "crc32fast",
435
+ "miniz_oxide",
436
+ ]
437
+
438
+ [[package]]
439
+ name = "flatzinc"
440
+ version = "0.3.21"
441
+ source = "registry+https://github.com/rust-lang/crates.io-index"
442
+ checksum = "2cb354e9148694c9d928bdeca0436943cb024e666bda31cf4d1bbbffc7bebf14"
443
+ dependencies = [
444
+ "winnow",
445
+ ]
446
+
447
+ [[package]]
448
+ name = "fnv"
449
+ version = "1.0.7"
450
+ source = "git+https://github.com/servo/rust-fnv?branch=main#4e55052a343a4372c191141f29a17ab829cf1dbc"
451
+
452
+ [[package]]
453
+ name = "foldhash"
454
+ version = "0.1.5"
455
+ source = "registry+https://github.com/rust-lang/crates.io-index"
456
+ checksum = "d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2"
457
+
458
+ [[package]]
459
+ name = "futures-core"
460
+ version = "0.3.31"
461
+ source = "registry+https://github.com/rust-lang/crates.io-index"
462
+ checksum = "05f29059c0c2090612e8d742178b0580d2dc940c837851ad723096f87af6663e"
463
+
464
+ [[package]]
465
+ name = "futures-task"
466
+ version = "0.3.31"
467
+ source = "registry+https://github.com/rust-lang/crates.io-index"
468
+ checksum = "f90f7dce0722e95104fcb095585910c0977252f286e354b5e3bd38902cd99988"
469
+
470
+ [[package]]
471
+ name = "futures-util"
472
+ version = "0.3.31"
473
+ source = "registry+https://github.com/rust-lang/crates.io-index"
474
+ checksum = "9fa08315bb612088cc391249efdc3bc77536f16c91f6cf495e6fbe85b20a4a81"
475
+ dependencies = [
476
+ "futures-core",
477
+ "futures-task",
478
+ "pin-project-lite",
479
+ "pin-utils",
480
+ "slab",
481
+ ]
482
+
483
+ [[package]]
484
+ name = "fzn-rs"
485
+ version = "0.1.0"
486
+ dependencies = [
487
+ "chumsky",
488
+ "fzn-rs-derive",
489
+ "thiserror",
490
+ ]
491
+
492
+ [[package]]
493
+ name = "fzn-rs-derive"
494
+ version = "0.1.0"
495
+ dependencies = [
496
+ "convert_case",
497
+ "fzn-rs",
498
+ "proc-macro2",
499
+ "quote",
500
+ "syn",
501
+ ]
502
+
503
+ [[package]]
504
+ name = "getrandom"
505
+ version = "0.2.17"
506
+ source = "registry+https://github.com/rust-lang/crates.io-index"
507
+ checksum = "ff2abc00be7fca6ebc474524697ae276ad847ad0a6b3faa4bcb027e9a4614ad0"
508
+ dependencies = [
509
+ "cfg-if",
510
+ "js-sys",
511
+ "libc",
512
+ "wasi",
513
+ "wasm-bindgen",
514
+ ]
515
+
516
+ [[package]]
517
+ name = "hashbrown"
518
+ version = "0.15.5"
519
+ source = "registry+https://github.com/rust-lang/crates.io-index"
520
+ checksum = "9229cfe53dfd69f0609a49f65461bd93001ea1ef889cd5529dd176593f5338a1"
521
+ dependencies = [
522
+ "allocator-api2",
523
+ "equivalent",
524
+ "foldhash",
525
+ ]
526
+
527
+ [[package]]
528
+ name = "hashbrown"
529
+ version = "0.16.1"
530
+ source = "registry+https://github.com/rust-lang/crates.io-index"
531
+ checksum = "841d1cc9bed7f9236f321df977030373f4a4163ae1a7dbfe1a51a2c1a51d9100"
532
+
533
+ [[package]]
534
+ name = "heck"
535
+ version = "0.5.0"
536
+ source = "registry+https://github.com/rust-lang/crates.io-index"
537
+ checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
538
+
539
+ [[package]]
540
+ name = "hermit-abi"
541
+ version = "0.5.2"
542
+ source = "registry+https://github.com/rust-lang/crates.io-index"
543
+ checksum = "fc0fef456e4baa96da950455cd02c081ca953b141298e41db3fc7e36b1da849c"
544
+
545
+ [[package]]
546
+ name = "humantime"
547
+ version = "2.3.0"
548
+ source = "registry+https://github.com/rust-lang/crates.io-index"
549
+ checksum = "135b12329e5e3ce057a9f972339ea52bc954fe1e9358ef27f95e89716fbc5424"
550
+
551
+ [[package]]
552
+ name = "ident_case"
553
+ version = "1.0.1"
554
+ source = "registry+https://github.com/rust-lang/crates.io-index"
555
+ checksum = "b9e0384b61958566e926dc50660321d12159025e767c18e043daf26b70104c39"
556
+
557
+ [[package]]
558
+ name = "indexmap"
559
+ version = "2.13.0"
560
+ source = "registry+https://github.com/rust-lang/crates.io-index"
561
+ checksum = "7714e70437a7dc3ac8eb7e6f8df75fd8eb422675fc7678aff7364301092b1017"
562
+ dependencies = [
563
+ "equivalent",
564
+ "hashbrown 0.16.1",
565
+ ]
566
+
567
+ [[package]]
568
+ name = "indoc"
569
+ version = "2.0.7"
570
+ source = "registry+https://github.com/rust-lang/crates.io-index"
571
+ checksum = "79cf5c93f93228cf8efb3ba362535fb11199ac548a09ce117c9b1adc3030d706"
572
+ dependencies = [
573
+ "rustversion",
574
+ ]
575
+
576
+ [[package]]
577
+ name = "is-terminal"
578
+ version = "0.4.17"
579
+ source = "registry+https://github.com/rust-lang/crates.io-index"
580
+ checksum = "3640c1c38b8e4e43584d8df18be5fc6b0aa314ce6ebf51b53313d4306cca8e46"
581
+ dependencies = [
582
+ "hermit-abi",
583
+ "libc",
584
+ "windows-sys 0.61.2",
585
+ ]
586
+
587
+ [[package]]
588
+ name = "is_terminal_polyfill"
589
+ version = "1.70.2"
590
+ source = "registry+https://github.com/rust-lang/crates.io-index"
591
+ checksum = "a6cb138bb79a146c1bd460005623e142ef0181e3d0219cb493e02f7d08a35695"
592
+
593
+ [[package]]
594
+ name = "itertools"
595
+ version = "0.13.0"
596
+ source = "registry+https://github.com/rust-lang/crates.io-index"
597
+ checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
598
+ dependencies = [
599
+ "either",
600
+ ]
601
+
602
+ [[package]]
603
+ name = "itoa"
604
+ version = "1.0.17"
605
+ source = "registry+https://github.com/rust-lang/crates.io-index"
606
+ checksum = "92ecc6618181def0457392ccd0ee51198e065e016d1d527a7ac1b6dc7c1f09d2"
607
+
608
+ [[package]]
609
+ name = "js-sys"
610
+ version = "0.3.85"
611
+ source = "registry+https://github.com/rust-lang/crates.io-index"
612
+ checksum = "8c942ebf8e95485ca0d52d97da7c5a2c387d0e7f0ba4c35e93bfcaee045955b3"
613
+ dependencies = [
614
+ "once_cell",
615
+ "wasm-bindgen",
616
+ ]
617
+
618
+ [[package]]
619
+ name = "libc"
620
+ version = "0.2.181"
621
+ source = "registry+https://github.com/rust-lang/crates.io-index"
622
+ checksum = "459427e2af2b9c839b132acb702a1c654d95e10f8c326bfc2ad11310e458b1c5"
623
+
624
+ [[package]]
625
+ name = "libm"
626
+ version = "0.2.16"
627
+ source = "registry+https://github.com/rust-lang/crates.io-index"
628
+ checksum = "b6d2cec3eae94f9f509c767b45932f1ada8350c4bdb85af2fcab4a3c14807981"
629
+
630
+ [[package]]
631
+ name = "log"
632
+ version = "0.4.29"
633
+ source = "registry+https://github.com/rust-lang/crates.io-index"
634
+ checksum = "5e5032e24019045c762d3c0f28f5b6b8bbf38563a65908389bf7978758920897"
635
+
636
+ [[package]]
637
+ name = "memchr"
638
+ version = "2.8.0"
639
+ source = "registry+https://github.com/rust-lang/crates.io-index"
640
+ checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"
641
+
642
+ [[package]]
643
+ name = "memoffset"
644
+ version = "0.9.1"
645
+ source = "registry+https://github.com/rust-lang/crates.io-index"
646
+ checksum = "488016bfae457b036d996092f6cb448677611ce4449e970ceaf42695203f218a"
647
+ dependencies = [
648
+ "autocfg",
649
+ ]
650
+
651
+ [[package]]
652
+ name = "minicov"
653
+ version = "0.3.8"
654
+ source = "registry+https://github.com/rust-lang/crates.io-index"
655
+ checksum = "4869b6a491569605d66d3952bcdf03df789e5b536e5f0cf7758a7f08a55ae24d"
656
+ dependencies = [
657
+ "cc",
658
+ "walkdir",
659
+ ]
660
+
661
+ [[package]]
662
+ name = "miniz_oxide"
663
+ version = "0.8.9"
664
+ source = "registry+https://github.com/rust-lang/crates.io-index"
665
+ checksum = "1fa76a2c86f704bdb222d66965fb3d63269ce38518b83cb0575fca855ebb6316"
666
+ dependencies = [
667
+ "adler2",
668
+ "simd-adler32",
669
+ ]
670
+
671
+ [[package]]
672
+ name = "nu-ansi-term"
673
+ version = "0.50.3"
674
+ source = "registry+https://github.com/rust-lang/crates.io-index"
675
+ checksum = "7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5"
676
+ dependencies = [
677
+ "windows-sys 0.61.2",
678
+ ]
679
+
680
+ [[package]]
681
+ name = "num"
682
+ version = "0.4.3"
683
+ source = "registry+https://github.com/rust-lang/crates.io-index"
684
+ checksum = "35bd024e8b2ff75562e5f34e7f4905839deb4b22955ef5e73d2fea1b9813cb23"
685
+ dependencies = [
686
+ "num-bigint",
687
+ "num-complex",
688
+ "num-integer",
689
+ "num-iter",
690
+ "num-rational",
691
+ "num-traits",
692
+ ]
693
+
694
+ [[package]]
695
+ name = "num-bigint"
696
+ version = "0.4.6"
697
+ source = "registry+https://github.com/rust-lang/crates.io-index"
698
+ checksum = "a5e44f723f1133c9deac646763579fdb3ac745e418f2a7af9cd0c431da1f20b9"
699
+ dependencies = [
700
+ "num-integer",
701
+ "num-traits",
702
+ ]
703
+
704
+ [[package]]
705
+ name = "num-complex"
706
+ version = "0.4.6"
707
+ source = "registry+https://github.com/rust-lang/crates.io-index"
708
+ checksum = "73f88a1307638156682bada9d7604135552957b7818057dcef22705b4d509495"
709
+ dependencies = [
710
+ "num-traits",
711
+ ]
712
+
713
+ [[package]]
714
+ name = "num-integer"
715
+ version = "0.1.46"
716
+ source = "registry+https://github.com/rust-lang/crates.io-index"
717
+ checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f"
718
+ dependencies = [
719
+ "num-traits",
720
+ ]
721
+
722
+ [[package]]
723
+ name = "num-iter"
724
+ version = "0.1.45"
725
+ source = "registry+https://github.com/rust-lang/crates.io-index"
726
+ checksum = "1429034a0490724d0075ebb2bc9e875d6503c3cf69e235a8941aa757d83ef5bf"
727
+ dependencies = [
728
+ "autocfg",
729
+ "num-integer",
730
+ "num-traits",
731
+ ]
732
+
733
+ [[package]]
734
+ name = "num-rational"
735
+ version = "0.4.2"
736
+ source = "registry+https://github.com/rust-lang/crates.io-index"
737
+ checksum = "f83d14da390562dca69fc84082e73e548e1ad308d24accdedd2720017cb37824"
738
+ dependencies = [
739
+ "num-bigint",
740
+ "num-integer",
741
+ "num-traits",
742
+ ]
743
+
744
+ [[package]]
745
+ name = "num-traits"
746
+ version = "0.2.19"
747
+ source = "registry+https://github.com/rust-lang/crates.io-index"
748
+ checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
749
+ dependencies = [
750
+ "autocfg",
751
+ "libm",
752
+ ]
753
+
754
+ [[package]]
755
+ name = "object"
756
+ version = "0.37.3"
757
+ source = "registry+https://github.com/rust-lang/crates.io-index"
758
+ checksum = "ff76201f031d8863c38aa7f905eca4f53abbfa15f609db4277d44cd8938f33fe"
759
+ dependencies = [
760
+ "memchr",
761
+ ]
762
+
763
+ [[package]]
764
+ name = "once_cell"
765
+ version = "1.21.3"
766
+ source = "registry+https://github.com/rust-lang/crates.io-index"
767
+ checksum = "42f5e15c9953c5e4ccceeb2e7382a716482c34515315f7b03532b8b4e8393d2d"
768
+
769
+ [[package]]
770
+ name = "once_cell_polyfill"
771
+ version = "1.70.2"
772
+ source = "registry+https://github.com/rust-lang/crates.io-index"
773
+ checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe"
774
+
775
+ [[package]]
776
+ name = "oorandom"
777
+ version = "11.1.5"
778
+ source = "registry+https://github.com/rust-lang/crates.io-index"
779
+ checksum = "d6790f58c7ff633d8771f42965289203411a5e5c68388703c06e14f24770b41e"
780
+
781
+ [[package]]
782
+ name = "pin-project-lite"
783
+ version = "0.2.16"
784
+ source = "registry+https://github.com/rust-lang/crates.io-index"
785
+ checksum = "3b3cff922bd51709b605d9ead9aa71031d81447142d828eb4a6eba76fe619f9b"
786
+
787
+ [[package]]
788
+ name = "pin-utils"
789
+ version = "0.1.0"
790
+ source = "registry+https://github.com/rust-lang/crates.io-index"
791
+ checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184"
792
+
793
+ [[package]]
794
+ name = "portable-atomic"
795
+ version = "1.13.1"
796
+ source = "registry+https://github.com/rust-lang/crates.io-index"
797
+ checksum = "c33a9471896f1c69cecef8d20cbe2f7accd12527ce60845ff44c153bb2a21b49"
798
+
799
+ [[package]]
800
+ name = "ppv-lite86"
801
+ version = "0.2.21"
802
+ source = "registry+https://github.com/rust-lang/crates.io-index"
803
+ checksum = "85eae3c4ed2f50dcfe72643da4befc30deadb458a9b590d720cde2f2b1e97da9"
804
+ dependencies = [
805
+ "zerocopy",
806
+ ]
807
+
808
+ [[package]]
809
+ name = "predicates"
810
+ version = "3.1.3"
811
+ source = "registry+https://github.com/rust-lang/crates.io-index"
812
+ checksum = "a5d19ee57562043d37e82899fade9a22ebab7be9cef5026b07fda9cdd4293573"
813
+ dependencies = [
814
+ "anstyle",
815
+ "difflib",
816
+ "predicates-core",
817
+ ]
818
+
819
+ [[package]]
820
+ name = "predicates-core"
821
+ version = "1.0.9"
822
+ source = "registry+https://github.com/rust-lang/crates.io-index"
823
+ checksum = "727e462b119fe9c93fd0eb1429a5f7647394014cf3c04ab2c0350eeb09095ffa"
824
+
825
+ [[package]]
826
+ name = "predicates-tree"
827
+ version = "1.0.12"
828
+ source = "registry+https://github.com/rust-lang/crates.io-index"
829
+ checksum = "72dd2d6d381dfb73a193c7fca536518d7caee39fc8503f74e7dc0be0531b425c"
830
+ dependencies = [
831
+ "predicates-core",
832
+ "termtree",
833
+ ]
834
+
835
+ [[package]]
836
+ name = "proc-macro2"
837
+ version = "1.0.106"
838
+ source = "registry+https://github.com/rust-lang/crates.io-index"
839
+ checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
840
+ dependencies = [
841
+ "unicode-ident",
842
+ ]
843
+
844
+ [[package]]
845
+ name = "psm"
846
+ version = "0.1.30"
847
+ source = "registry+https://github.com/rust-lang/crates.io-index"
848
+ checksum = "3852766467df634d74f0b2d7819bf8dc483a0eb2e3b0f50f756f9cfe8b0d18d8"
849
+ dependencies = [
850
+ "ar_archive_writer",
851
+ "cc",
852
+ ]
853
+
854
+ [[package]]
855
+ name = "pumpkin-checker"
856
+ version = "0.3.0"
857
+ dependencies = [
858
+ "anyhow",
859
+ "assert_cmd",
860
+ "clap",
861
+ "derive_more",
862
+ "drcp-format",
863
+ "flate2",
864
+ "fnv",
865
+ "fzn-rs",
866
+ "pumpkin-checking",
867
+ "pumpkin-core",
868
+ "pumpkin-propagators",
869
+ "thiserror",
870
+ ]
871
+
872
+ [[package]]
873
+ name = "pumpkin-checking"
874
+ version = "0.3.0"
875
+ dependencies = [
876
+ "dyn-clone",
877
+ "fnv",
878
+ ]
879
+
880
+ [[package]]
881
+ name = "pumpkin-conflict-resolvers"
882
+ version = "0.3.0"
883
+ dependencies = [
884
+ "pumpkin-core",
885
+ ]
886
+
887
+ [[package]]
888
+ name = "pumpkin-constraints"
889
+ version = "0.3.0"
890
+ dependencies = [
891
+ "pumpkin-core",
892
+ "pumpkin-propagators",
893
+ ]
894
+
895
+ [[package]]
896
+ name = "pumpkin-core"
897
+ version = "0.3.0"
898
+ dependencies = [
899
+ "bitfield",
900
+ "bitfield-struct",
901
+ "clap",
902
+ "convert_case",
903
+ "downcast-rs",
904
+ "drcp-format",
905
+ "dyn-clone",
906
+ "enum-map",
907
+ "enumset",
908
+ "flate2",
909
+ "fnv",
910
+ "getrandom",
911
+ "indexmap",
912
+ "itertools",
913
+ "log",
914
+ "num",
915
+ "once_cell",
916
+ "pumpkin-checking",
917
+ "rand",
918
+ "thiserror",
919
+ "wasm-bindgen-test",
920
+ "web-time",
921
+ ]
922
+
923
+ [[package]]
924
+ name = "pumpkin-macros"
925
+ version = "0.1.0"
926
+ dependencies = [
927
+ "itertools",
928
+ "proc-macro2",
929
+ "quote",
930
+ "stringcase",
931
+ "syn",
932
+ ]
933
+
934
+ [[package]]
935
+ name = "pumpkin-propagators"
936
+ version = "0.3.0"
937
+ dependencies = [
938
+ "bitfield-struct",
939
+ "clap",
940
+ "convert_case",
941
+ "enumset",
942
+ "pumpkin-checking",
943
+ "pumpkin-core",
944
+ ]
945
+
946
+ [[package]]
947
+ name = "pumpkin-solver"
948
+ version = "0.3.0"
949
+ dependencies = [
950
+ "cc",
951
+ "clap",
952
+ "env_logger",
953
+ "flatzinc",
954
+ "log",
955
+ "pumpkin-checker",
956
+ "pumpkin-conflict-resolvers",
957
+ "pumpkin-constraints",
958
+ "pumpkin-core",
959
+ "pumpkin-macros",
960
+ "pumpkin-propagators",
961
+ "regex",
962
+ "signal-hook",
963
+ "stringcase",
964
+ "thiserror",
965
+ "wait-timeout",
966
+ ]
967
+
968
+ [[package]]
969
+ name = "pumpkin-solver-py"
970
+ version = "0.3.0"
971
+ dependencies = [
972
+ "pumpkin-conflict-resolvers",
973
+ "pumpkin-constraints",
974
+ "pumpkin-solver",
975
+ "pyo3",
976
+ "pyo3-build-config",
977
+ ]
978
+
979
+ [[package]]
980
+ name = "pyo3"
981
+ version = "0.25.1"
982
+ source = "registry+https://github.com/rust-lang/crates.io-index"
983
+ checksum = "8970a78afe0628a3e3430376fc5fd76b6b45c4d43360ffd6cdd40bdde72b682a"
984
+ dependencies = [
985
+ "indoc",
986
+ "libc",
987
+ "memoffset",
988
+ "once_cell",
989
+ "portable-atomic",
990
+ "pyo3-build-config",
991
+ "pyo3-ffi",
992
+ "pyo3-macros",
993
+ "unindent",
994
+ ]
995
+
996
+ [[package]]
997
+ name = "pyo3-build-config"
998
+ version = "0.25.1"
999
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1000
+ checksum = "458eb0c55e7ece017adeba38f2248ff3ac615e53660d7c71a238d7d2a01c7598"
1001
+ dependencies = [
1002
+ "once_cell",
1003
+ "target-lexicon",
1004
+ ]
1005
+
1006
+ [[package]]
1007
+ name = "pyo3-ffi"
1008
+ version = "0.25.1"
1009
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1010
+ checksum = "7114fe5457c61b276ab77c5055f206295b812608083644a5c5b2640c3102565c"
1011
+ dependencies = [
1012
+ "libc",
1013
+ "pyo3-build-config",
1014
+ ]
1015
+
1016
+ [[package]]
1017
+ name = "pyo3-macros"
1018
+ version = "0.25.1"
1019
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1020
+ checksum = "a8725c0a622b374d6cb051d11a0983786448f7785336139c3c94f5aa6bef7e50"
1021
+ dependencies = [
1022
+ "proc-macro2",
1023
+ "pyo3-macros-backend",
1024
+ "quote",
1025
+ "syn",
1026
+ ]
1027
+
1028
+ [[package]]
1029
+ name = "pyo3-macros-backend"
1030
+ version = "0.25.1"
1031
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1032
+ checksum = "4109984c22491085343c05b0dbc54ddc405c3cf7b4374fc533f5c3313a572ccc"
1033
+ dependencies = [
1034
+ "heck",
1035
+ "proc-macro2",
1036
+ "pyo3-build-config",
1037
+ "quote",
1038
+ "syn",
1039
+ ]
1040
+
1041
+ [[package]]
1042
+ name = "quote"
1043
+ version = "1.0.44"
1044
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1045
+ checksum = "21b2ebcf727b7760c461f091f9f0f539b77b8e87f2fd88131e7f1b433b3cece4"
1046
+ dependencies = [
1047
+ "proc-macro2",
1048
+ ]
1049
+
1050
+ [[package]]
1051
+ name = "rand"
1052
+ version = "0.8.5"
1053
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1054
+ checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
1055
+ dependencies = [
1056
+ "libc",
1057
+ "rand_chacha",
1058
+ "rand_core",
1059
+ ]
1060
+
1061
+ [[package]]
1062
+ name = "rand_chacha"
1063
+ version = "0.3.1"
1064
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1065
+ checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
1066
+ dependencies = [
1067
+ "ppv-lite86",
1068
+ "rand_core",
1069
+ ]
1070
+
1071
+ [[package]]
1072
+ name = "rand_core"
1073
+ version = "0.6.4"
1074
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1075
+ checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
1076
+ dependencies = [
1077
+ "getrandom",
1078
+ ]
1079
+
1080
+ [[package]]
1081
+ name = "regex"
1082
+ version = "1.12.3"
1083
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1084
+ checksum = "e10754a14b9137dd7b1e3e5b0493cc9171fdd105e0ab477f51b72e7f3ac0e276"
1085
+ dependencies = [
1086
+ "aho-corasick",
1087
+ "memchr",
1088
+ "regex-automata 0.4.14",
1089
+ "regex-syntax 0.8.9",
1090
+ ]
1091
+
1092
+ [[package]]
1093
+ name = "regex-automata"
1094
+ version = "0.3.9"
1095
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1096
+ checksum = "59b23e92ee4318893fa3fe3e6fb365258efbfe6ac6ab30f090cdcbb7aa37efa9"
1097
+ dependencies = [
1098
+ "aho-corasick",
1099
+ "memchr",
1100
+ "regex-syntax 0.7.5",
1101
+ ]
1102
+
1103
+ [[package]]
1104
+ name = "regex-automata"
1105
+ version = "0.4.14"
1106
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1107
+ checksum = "6e1dd4122fc1595e8162618945476892eefca7b88c52820e74af6262213cae8f"
1108
+ dependencies = [
1109
+ "aho-corasick",
1110
+ "memchr",
1111
+ "regex-syntax 0.8.9",
1112
+ ]
1113
+
1114
+ [[package]]
1115
+ name = "regex-syntax"
1116
+ version = "0.7.5"
1117
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1118
+ checksum = "dbb5fb1acd8a1a18b3dd5be62d25485eb770e05afb408a9627d14d451bae12da"
1119
+
1120
+ [[package]]
1121
+ name = "regex-syntax"
1122
+ version = "0.8.9"
1123
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1124
+ checksum = "a96887878f22d7bad8a3b6dc5b7440e0ada9a245242924394987b21cf2210a4c"
1125
+
1126
+ [[package]]
1127
+ name = "rustc_version"
1128
+ version = "0.4.1"
1129
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1130
+ checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92"
1131
+ dependencies = [
1132
+ "semver",
1133
+ ]
1134
+
1135
+ [[package]]
1136
+ name = "rustversion"
1137
+ version = "1.0.22"
1138
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1139
+ checksum = "b39cdef0fa800fc44525c84ccb54a029961a8215f9619753635a9c0d2538d46d"
1140
+
1141
+ [[package]]
1142
+ name = "same-file"
1143
+ version = "1.0.6"
1144
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1145
+ checksum = "93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502"
1146
+ dependencies = [
1147
+ "winapi-util",
1148
+ ]
1149
+
1150
+ [[package]]
1151
+ name = "semver"
1152
+ version = "1.0.27"
1153
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1154
+ checksum = "d767eb0aabc880b29956c35734170f26ed551a859dbd361d140cdbeca61ab1e2"
1155
+
1156
+ [[package]]
1157
+ name = "serde"
1158
+ version = "1.0.228"
1159
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1160
+ checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
1161
+ dependencies = [
1162
+ "serde_core",
1163
+ "serde_derive",
1164
+ ]
1165
+
1166
+ [[package]]
1167
+ name = "serde_core"
1168
+ version = "1.0.228"
1169
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1170
+ checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
1171
+ dependencies = [
1172
+ "serde_derive",
1173
+ ]
1174
+
1175
+ [[package]]
1176
+ name = "serde_derive"
1177
+ version = "1.0.228"
1178
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1179
+ checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
1180
+ dependencies = [
1181
+ "proc-macro2",
1182
+ "quote",
1183
+ "syn",
1184
+ ]
1185
+
1186
+ [[package]]
1187
+ name = "serde_json"
1188
+ version = "1.0.149"
1189
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1190
+ checksum = "83fc039473c5595ace860d8c4fafa220ff474b3fc6bfdb4293327f1a37e94d86"
1191
+ dependencies = [
1192
+ "itoa",
1193
+ "memchr",
1194
+ "serde",
1195
+ "serde_core",
1196
+ "zmij",
1197
+ ]
1198
+
1199
+ [[package]]
1200
+ name = "shlex"
1201
+ version = "1.3.0"
1202
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1203
+ checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
1204
+
1205
+ [[package]]
1206
+ name = "signal-hook"
1207
+ version = "0.3.18"
1208
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1209
+ checksum = "d881a16cf4426aa584979d30bd82cb33429027e42122b169753d6ef1085ed6e2"
1210
+ dependencies = [
1211
+ "libc",
1212
+ "signal-hook-registry",
1213
+ ]
1214
+
1215
+ [[package]]
1216
+ name = "signal-hook-registry"
1217
+ version = "1.4.8"
1218
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1219
+ checksum = "c4db69cba1110affc0e9f7bcd48bbf87b3f4fc7c61fc9155afd4c469eb3d6c1b"
1220
+ dependencies = [
1221
+ "errno",
1222
+ "libc",
1223
+ ]
1224
+
1225
+ [[package]]
1226
+ name = "simd-adler32"
1227
+ version = "0.3.8"
1228
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1229
+ checksum = "e320a6c5ad31d271ad523dcf3ad13e2767ad8b1cb8f047f75a8aeaf8da139da2"
1230
+
1231
+ [[package]]
1232
+ name = "slab"
1233
+ version = "0.4.12"
1234
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1235
+ checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5"
1236
+
1237
+ [[package]]
1238
+ name = "stacker"
1239
+ version = "0.1.23"
1240
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1241
+ checksum = "08d74a23609d509411d10e2176dc2a4346e3b4aea2e7b1869f19fdedbc71c013"
1242
+ dependencies = [
1243
+ "cc",
1244
+ "cfg-if",
1245
+ "libc",
1246
+ "psm",
1247
+ "windows-sys 0.59.0",
1248
+ ]
1249
+
1250
+ [[package]]
1251
+ name = "stringcase"
1252
+ version = "0.3.0"
1253
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1254
+ checksum = "04028eeb851ed08af6aba5caa29f2d59a13ed168cee4d6bd753aeefcf1d636b0"
1255
+
1256
+ [[package]]
1257
+ name = "strsim"
1258
+ version = "0.11.1"
1259
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1260
+ checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"
1261
+
1262
+ [[package]]
1263
+ name = "syn"
1264
+ version = "2.0.114"
1265
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1266
+ checksum = "d4d107df263a3013ef9b1879b0df87d706ff80f65a86ea879bd9c31f9b307c2a"
1267
+ dependencies = [
1268
+ "proc-macro2",
1269
+ "quote",
1270
+ "unicode-ident",
1271
+ ]
1272
+
1273
+ [[package]]
1274
+ name = "target-lexicon"
1275
+ version = "0.13.4"
1276
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1277
+ checksum = "b1dd07eb858a2067e2f3c7155d54e929265c264e6f37efe3ee7a8d1b5a1dd0ba"
1278
+
1279
+ [[package]]
1280
+ name = "termcolor"
1281
+ version = "1.4.1"
1282
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1283
+ checksum = "06794f8f6c5c898b3275aebefa6b8a1cb24cd2c6c79397ab15774837a0bc5755"
1284
+ dependencies = [
1285
+ "winapi-util",
1286
+ ]
1287
+
1288
+ [[package]]
1289
+ name = "termtree"
1290
+ version = "0.5.1"
1291
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1292
+ checksum = "8f50febec83f5ee1df3015341d8bd429f2d1cc62bcba7ea2076759d315084683"
1293
+
1294
+ [[package]]
1295
+ name = "thiserror"
1296
+ version = "2.0.18"
1297
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1298
+ checksum = "4288b5bcbc7920c07a1149a35cf9590a2aa808e0bc1eafaade0b80947865fbc4"
1299
+ dependencies = [
1300
+ "thiserror-impl",
1301
+ ]
1302
+
1303
+ [[package]]
1304
+ name = "thiserror-impl"
1305
+ version = "2.0.18"
1306
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1307
+ checksum = "ebc4ee7f67670e9b64d05fa4253e753e016c6c95ff35b89b7941d6b856dec1d5"
1308
+ dependencies = [
1309
+ "proc-macro2",
1310
+ "quote",
1311
+ "syn",
1312
+ ]
1313
+
1314
+ [[package]]
1315
+ name = "unicode-ident"
1316
+ version = "1.0.23"
1317
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1318
+ checksum = "537dd038a89878be9b64dd4bd1b260315c1bb94f4d784956b81e27a088d9a09e"
1319
+
1320
+ [[package]]
1321
+ name = "unicode-segmentation"
1322
+ version = "1.12.0"
1323
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1324
+ checksum = "f6ccf251212114b54433ec949fd6a7841275f9ada20dddd2f29e9ceea4501493"
1325
+
1326
+ [[package]]
1327
+ name = "unindent"
1328
+ version = "0.2.4"
1329
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1330
+ checksum = "7264e107f553ccae879d21fbea1d6724ac785e8c3bfc762137959b5802826ef3"
1331
+
1332
+ [[package]]
1333
+ name = "utf8parse"
1334
+ version = "0.2.2"
1335
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1336
+ checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821"
1337
+
1338
+ [[package]]
1339
+ name = "wait-timeout"
1340
+ version = "0.2.1"
1341
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1342
+ checksum = "09ac3b126d3914f9849036f826e054cbabdc8519970b8998ddaf3b5bd3c65f11"
1343
+ dependencies = [
1344
+ "libc",
1345
+ ]
1346
+
1347
+ [[package]]
1348
+ name = "walkdir"
1349
+ version = "2.5.0"
1350
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1351
+ checksum = "29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b"
1352
+ dependencies = [
1353
+ "same-file",
1354
+ "winapi-util",
1355
+ ]
1356
+
1357
+ [[package]]
1358
+ name = "wasi"
1359
+ version = "0.11.1+wasi-snapshot-preview1"
1360
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1361
+ checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b"
1362
+
1363
+ [[package]]
1364
+ name = "wasm-bindgen"
1365
+ version = "0.2.108"
1366
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1367
+ checksum = "64024a30ec1e37399cf85a7ffefebdb72205ca1c972291c51512360d90bd8566"
1368
+ dependencies = [
1369
+ "cfg-if",
1370
+ "once_cell",
1371
+ "rustversion",
1372
+ "wasm-bindgen-macro",
1373
+ "wasm-bindgen-shared",
1374
+ ]
1375
+
1376
+ [[package]]
1377
+ name = "wasm-bindgen-futures"
1378
+ version = "0.4.58"
1379
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1380
+ checksum = "70a6e77fd0ae8029c9ea0063f87c46fde723e7d887703d74ad2616d792e51e6f"
1381
+ dependencies = [
1382
+ "cfg-if",
1383
+ "futures-util",
1384
+ "js-sys",
1385
+ "once_cell",
1386
+ "wasm-bindgen",
1387
+ "web-sys",
1388
+ ]
1389
+
1390
+ [[package]]
1391
+ name = "wasm-bindgen-macro"
1392
+ version = "0.2.108"
1393
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1394
+ checksum = "008b239d9c740232e71bd39e8ef6429d27097518b6b30bdf9086833bd5b6d608"
1395
+ dependencies = [
1396
+ "quote",
1397
+ "wasm-bindgen-macro-support",
1398
+ ]
1399
+
1400
+ [[package]]
1401
+ name = "wasm-bindgen-macro-support"
1402
+ version = "0.2.108"
1403
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1404
+ checksum = "5256bae2d58f54820e6490f9839c49780dff84c65aeab9e772f15d5f0e913a55"
1405
+ dependencies = [
1406
+ "bumpalo",
1407
+ "proc-macro2",
1408
+ "quote",
1409
+ "syn",
1410
+ "wasm-bindgen-shared",
1411
+ ]
1412
+
1413
+ [[package]]
1414
+ name = "wasm-bindgen-shared"
1415
+ version = "0.2.108"
1416
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1417
+ checksum = "1f01b580c9ac74c8d8f0c0e4afb04eeef2acf145458e52c03845ee9cd23e3d12"
1418
+ dependencies = [
1419
+ "unicode-ident",
1420
+ ]
1421
+
1422
+ [[package]]
1423
+ name = "wasm-bindgen-test"
1424
+ version = "0.3.58"
1425
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1426
+ checksum = "45649196a53b0b7a15101d845d44d2dda7374fc1b5b5e2bbf58b7577ff4b346d"
1427
+ dependencies = [
1428
+ "async-trait",
1429
+ "cast",
1430
+ "js-sys",
1431
+ "libm",
1432
+ "minicov",
1433
+ "nu-ansi-term",
1434
+ "num-traits",
1435
+ "oorandom",
1436
+ "serde",
1437
+ "serde_json",
1438
+ "wasm-bindgen",
1439
+ "wasm-bindgen-futures",
1440
+ "wasm-bindgen-test-macro",
1441
+ "wasm-bindgen-test-shared",
1442
+ ]
1443
+
1444
+ [[package]]
1445
+ name = "wasm-bindgen-test-macro"
1446
+ version = "0.3.58"
1447
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1448
+ checksum = "f579cdd0123ac74b94e1a4a72bd963cf30ebac343f2df347da0b8df24cdebed2"
1449
+ dependencies = [
1450
+ "proc-macro2",
1451
+ "quote",
1452
+ "syn",
1453
+ ]
1454
+
1455
+ [[package]]
1456
+ name = "wasm-bindgen-test-shared"
1457
+ version = "0.2.108"
1458
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1459
+ checksum = "a8145dd1593bf0fb137dbfa85b8be79ec560a447298955877804640e40c2d6ea"
1460
+
1461
+ [[package]]
1462
+ name = "web-sys"
1463
+ version = "0.3.85"
1464
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1465
+ checksum = "312e32e551d92129218ea9a2452120f4aabc03529ef03e4d0d82fb2780608598"
1466
+ dependencies = [
1467
+ "js-sys",
1468
+ "wasm-bindgen",
1469
+ ]
1470
+
1471
+ [[package]]
1472
+ name = "web-time"
1473
+ version = "1.1.0"
1474
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1475
+ checksum = "5a6580f308b1fad9207618087a65c04e7a10bc77e02c8e84e9b00dd4b12fa0bb"
1476
+ dependencies = [
1477
+ "js-sys",
1478
+ "wasm-bindgen",
1479
+ ]
1480
+
1481
+ [[package]]
1482
+ name = "winapi-util"
1483
+ version = "0.1.11"
1484
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1485
+ checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
1486
+ dependencies = [
1487
+ "windows-sys 0.61.2",
1488
+ ]
1489
+
1490
+ [[package]]
1491
+ name = "windows-link"
1492
+ version = "0.2.1"
1493
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1494
+ checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
1495
+
1496
+ [[package]]
1497
+ name = "windows-sys"
1498
+ version = "0.59.0"
1499
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1500
+ checksum = "1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b"
1501
+ dependencies = [
1502
+ "windows-targets",
1503
+ ]
1504
+
1505
+ [[package]]
1506
+ name = "windows-sys"
1507
+ version = "0.61.2"
1508
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1509
+ checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
1510
+ dependencies = [
1511
+ "windows-link",
1512
+ ]
1513
+
1514
+ [[package]]
1515
+ name = "windows-targets"
1516
+ version = "0.52.6"
1517
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1518
+ checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
1519
+ dependencies = [
1520
+ "windows_aarch64_gnullvm",
1521
+ "windows_aarch64_msvc",
1522
+ "windows_i686_gnu",
1523
+ "windows_i686_gnullvm",
1524
+ "windows_i686_msvc",
1525
+ "windows_x86_64_gnu",
1526
+ "windows_x86_64_gnullvm",
1527
+ "windows_x86_64_msvc",
1528
+ ]
1529
+
1530
+ [[package]]
1531
+ name = "windows_aarch64_gnullvm"
1532
+ version = "0.52.6"
1533
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1534
+ checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"
1535
+
1536
+ [[package]]
1537
+ name = "windows_aarch64_msvc"
1538
+ version = "0.52.6"
1539
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1540
+ checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"
1541
+
1542
+ [[package]]
1543
+ name = "windows_i686_gnu"
1544
+ version = "0.52.6"
1545
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1546
+ checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b"
1547
+
1548
+ [[package]]
1549
+ name = "windows_i686_gnullvm"
1550
+ version = "0.52.6"
1551
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1552
+ checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"
1553
+
1554
+ [[package]]
1555
+ name = "windows_i686_msvc"
1556
+ version = "0.52.6"
1557
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1558
+ checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"
1559
+
1560
+ [[package]]
1561
+ name = "windows_x86_64_gnu"
1562
+ version = "0.52.6"
1563
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1564
+ checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"
1565
+
1566
+ [[package]]
1567
+ name = "windows_x86_64_gnullvm"
1568
+ version = "0.52.6"
1569
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1570
+ checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"
1571
+
1572
+ [[package]]
1573
+ name = "windows_x86_64_msvc"
1574
+ version = "0.52.6"
1575
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1576
+ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
1577
+
1578
+ [[package]]
1579
+ name = "winnow"
1580
+ version = "0.6.26"
1581
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1582
+ checksum = "1e90edd2ac1aa278a5c4599b1d89cf03074b610800f866d4026dc199d7929a28"
1583
+ dependencies = [
1584
+ "memchr",
1585
+ ]
1586
+
1587
+ [[package]]
1588
+ name = "zerocopy"
1589
+ version = "0.8.39"
1590
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1591
+ checksum = "db6d35d663eadb6c932438e763b262fe1a70987f9ae936e60158176d710cae4a"
1592
+ dependencies = [
1593
+ "zerocopy-derive",
1594
+ ]
1595
+
1596
+ [[package]]
1597
+ name = "zerocopy-derive"
1598
+ version = "0.8.39"
1599
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1600
+ checksum = "4122cd3169e94605190e77839c9a40d40ed048d305bfdc146e7df40ab0f3e517"
1601
+ dependencies = [
1602
+ "proc-macro2",
1603
+ "quote",
1604
+ "syn",
1605
+ ]
1606
+
1607
+ [[package]]
1608
+ name = "zmij"
1609
+ version = "1.0.20"
1610
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1611
+ checksum = "4de98dfa5d5b7fef4ee834d0073d560c9ca7b6c46a71d058c48db7960f8cfaf7"