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