├── .cargo └── config.toml ├── .dockerignore ├── .githooks └── pre-commit ├── .github └── workflows │ ├── ci-python.yml │ ├── ci.yml │ ├── release-packages.yml │ ├── release-please.yml │ └── reset_reviewed_status.yml ├── .gitignore ├── .release-please-manifest.json ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── clippy.toml ├── deny.toml ├── drcp-debugger ├── Cargo.toml └── src │ └── main.rs ├── drcp-format ├── CHANGELOG.md ├── Cargo.toml ├── README.md └── src │ ├── lib.rs │ ├── reader │ ├── error.rs │ ├── mod.rs │ └── parser.rs │ └── writer │ └── mod.rs ├── instances ├── BrazilInstance1.xml.wcnf ├── BrazilInstance2.xml.wcnf ├── BrazilInstance7.xml.wcnf ├── Instance1_11200.wcnf ├── ItalyInstance1.xml.wcnf ├── hole10.cnf ├── hole6.cnf ├── hole7.cnf ├── hole8.cnf ├── hole9.cnf ├── simple.wcnf ├── test1.cnf ├── unsat-sample.cnf └── v100c500.cnf ├── minizinc ├── Dockerfile ├── README.md ├── lib │ ├── fzn_all_different_int.mzn │ ├── fzn_cumulative.mzn │ ├── fzn_disjunctive_strict.mzn │ ├── fzn_table_int.mzn │ ├── fzn_table_int_reif.mzn │ ├── redefinitions-2.0.mzn │ └── redefinitions.mzn └── pumpkin.msc ├── pumpkin-crates └── core │ ├── CHANGELOG.md │ ├── Cargo.toml │ ├── clippy.toml │ └── src │ ├── api │ ├── mod.rs │ ├── outputs │ │ ├── mod.rs │ │ ├── solution_iterator.rs │ │ └── unsatisfiable.rs │ └── solver.rs │ ├── basic_types │ ├── constraint_operation_error.rs │ ├── constraint_reference.rs │ ├── csp_solver_execution_flag.rs │ ├── function.rs │ ├── mod.rs │ ├── moving_averages │ │ ├── cumulative_moving_average.rs │ │ ├── mod.rs │ │ ├── moving_average.rs │ │ └── windowed_moving_average.rs │ ├── predicate_id_generators │ │ ├── deletable_predicate_id_generator.rs │ │ ├── mod.rs │ │ └── predicate_id_generator.rs │ ├── propagation_status_cp.rs │ ├── propositional_conjunction.rs │ ├── random.rs │ ├── sequence_generators │ │ ├── constant_sequence.rs │ │ ├── geometric_sequence.rs │ │ ├── luby_sequence.rs │ │ ├── mod.rs │ │ ├── sequence_generator.rs │ │ └── sequence_generator_type.rs │ ├── solution.rs │ ├── stored_conflict_info.rs │ └── trail.rs │ ├── branching │ ├── brancher.rs │ ├── branchers │ │ ├── alternating │ │ │ ├── alternating_brancher.rs │ │ │ ├── mod.rs │ │ │ └── strategies │ │ │ │ ├── every_x_restarts.rs │ │ │ │ ├── every_x_solutions.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── other_only.rs │ │ │ │ └── until_solution.rs │ │ ├── autonomous_search.rs │ │ ├── dynamic_brancher.rs │ │ ├── independent_variable_value_brancher.rs │ │ ├── mod.rs │ │ └── warm_start.rs │ ├── mod.rs │ ├── selection_context.rs │ ├── tie_breaking │ │ ├── in_order_tie_breaker.rs │ │ ├── mod.rs │ │ ├── random_tie_breaker.rs │ │ └── tie_breaker.rs │ ├── value_selection │ │ ├── dynamic_value_selector.rs │ │ ├── in_domain_interval.rs │ │ ├── in_domain_max.rs │ │ ├── in_domain_median.rs │ │ ├── in_domain_middle.rs │ │ ├── in_domain_min.rs │ │ ├── in_domain_random.rs │ │ ├── in_domain_split.rs │ │ ├── in_domain_split_random.rs │ │ ├── mod.rs │ │ ├── out_domain_max.rs │ │ ├── out_domain_median.rs │ │ ├── out_domain_min.rs │ │ ├── out_domain_random.rs │ │ ├── random_splitter.rs │ │ ├── reverse_in_domain_split.rs │ │ └── value_selector.rs │ └── variable_selection │ │ ├── anti_first_fail.rs │ │ ├── dynamic_variable_selector.rs │ │ ├── first_fail.rs │ │ ├── input_order.rs │ │ ├── largest.rs │ │ ├── max_regret.rs │ │ ├── mod.rs │ │ ├── most_constrained.rs │ │ ├── occurrence.rs │ │ ├── proportional_domain_size.rs │ │ ├── random.rs │ │ ├── smallest.rs │ │ └── variable_selector.rs │ ├── constraints │ ├── all_different.rs │ ├── arithmetic │ │ ├── equality.rs │ │ ├── inequality.rs │ │ └── mod.rs │ ├── boolean.rs │ ├── clause.rs │ ├── constraint_poster.rs │ ├── cumulative.rs │ ├── disjunctive_strict.rs │ ├── element.rs │ ├── mod.rs │ └── table.rs │ ├── containers │ ├── key_generator.rs │ ├── key_value_heap.rs │ ├── keyed_vec.rs │ ├── mod.rs │ └── sparse_set.rs │ ├── engine │ ├── conflict_analysis │ │ ├── conflict_analysis_context.rs │ │ ├── minimisers │ │ │ ├── mod.rs │ │ │ ├── recursive_minimiser.rs │ │ │ └── semantic_minimiser.rs │ │ ├── mod.rs │ │ └── resolvers │ │ │ ├── conflict_resolver.rs │ │ │ ├── mod.rs │ │ │ ├── no_learning_resolver.rs │ │ │ └── resolution_resolver.rs │ ├── constraint_satisfaction_solver.rs │ ├── constraint_tag.rs │ ├── cp │ │ ├── assignments.rs │ │ ├── mod.rs │ │ ├── propagation │ │ │ ├── constructor.rs │ │ │ ├── contexts │ │ │ │ ├── explanation_context.rs │ │ │ │ ├── mod.rs │ │ │ │ └── propagation_context.rs │ │ │ ├── local_id.rs │ │ │ ├── mod.rs │ │ │ ├── propagator.rs │ │ │ ├── propagator_id.rs │ │ │ ├── propagator_var_id.rs │ │ │ └── store.rs │ │ ├── propagator_queue.rs │ │ ├── reason.rs │ │ ├── test_helper.rs │ │ ├── test_solver.rs │ │ └── trailed │ │ │ ├── mod.rs │ │ │ ├── trailed_change.rs │ │ │ ├── trailed_integer.rs │ │ │ └── trailed_values.rs │ ├── debug_helper.rs │ ├── literal_block_distance.rs │ ├── mod.rs │ ├── notifications │ │ ├── domain_event_notification │ │ │ ├── domain_event_watch_list.rs │ │ │ ├── domain_events.rs │ │ │ ├── event_sink.rs │ │ │ ├── mod.rs │ │ │ └── opaque_domain_event.rs │ │ ├── mod.rs │ │ └── predicate_notification │ │ │ ├── mod.rs │ │ │ ├── predicate_assignments.rs │ │ │ ├── predicate_notifier.rs │ │ │ ├── predicate_tracker_for_domain.rs │ │ │ └── predicate_trackers │ │ │ ├── disequality_tracker.rs │ │ │ ├── equality_tracker.rs │ │ │ ├── lower_bound_tracker.rs │ │ │ ├── mod.rs │ │ │ └── upper_bound_tracker.rs │ ├── predicates │ │ ├── mod.rs │ │ ├── predicate.rs │ │ └── predicate_constructor.rs │ ├── restart_strategy.rs │ ├── solver_statistics.rs │ ├── termination │ │ ├── combinator.rs │ │ ├── indefinite.rs │ │ ├── mod.rs │ │ └── time_budget.rs │ ├── variable_names.rs │ └── variables │ │ ├── affine_view.rs │ │ ├── domain_generator_iterator.rs │ │ ├── domain_id.rs │ │ ├── integer_variable.rs │ │ ├── literal.rs │ │ ├── mod.rs │ │ ├── propositional_variable.rs │ │ ├── propositional_variable_generator_iterator.rs │ │ └── transformable_variable.rs │ ├── lib.rs │ ├── math │ ├── mod.rs │ └── num_ext.rs │ ├── optimisation │ ├── linear_sat_unsat.rs │ ├── linear_unsat_sat.rs │ ├── mod.rs │ └── solution_callback.rs │ ├── proof │ ├── dimacs.rs │ ├── finalizer.rs │ ├── inference_code.rs │ ├── mod.rs │ └── proof_atomics.rs │ ├── propagators │ ├── arithmetic │ │ ├── absolute_value.rs │ │ ├── binary │ │ │ ├── binary_equals.rs │ │ │ ├── binary_not_equals.rs │ │ │ └── mod.rs │ │ ├── integer_division.rs │ │ ├── integer_multiplication.rs │ │ ├── linear_less_or_equal.rs │ │ ├── linear_not_equal.rs │ │ ├── maximum.rs │ │ └── mod.rs │ ├── cumulative │ │ ├── mod.rs │ │ ├── options.rs │ │ ├── time_table │ │ │ ├── explanations │ │ │ │ ├── big_step.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── naive.rs │ │ │ │ └── pointwise.rs │ │ │ ├── mod.rs │ │ │ ├── over_interval_incremental_propagator │ │ │ │ ├── checks.rs │ │ │ │ ├── debug.rs │ │ │ │ ├── insertion.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── removal.rs │ │ │ │ ├── synchronisation.rs │ │ │ │ └── time_table_over_interval_incremental.rs │ │ │ ├── per_point_incremental_propagator │ │ │ │ ├── mod.rs │ │ │ │ ├── synchronisation.rs │ │ │ │ └── time_table_per_point_incremental.rs │ │ │ ├── propagation_handler.rs │ │ │ ├── time_table_over_interval.rs │ │ │ ├── time_table_per_point.rs │ │ │ └── time_table_util.rs │ │ └── utils │ │ │ ├── mod.rs │ │ │ ├── structs │ │ │ ├── mandatory_part_adjustments.rs │ │ │ ├── mod.rs │ │ │ ├── parameters.rs │ │ │ ├── resource_profile.rs │ │ │ ├── task.rs │ │ │ ├── updatable_structures.rs │ │ │ └── updated_task_info.rs │ │ │ └── util.rs │ ├── disjunctive │ │ ├── disjunctive_propagator.rs │ │ ├── disjunctive_task.rs │ │ ├── mod.rs │ │ ├── theta_lambda_tree.rs │ │ └── theta_tree.rs │ ├── element.rs │ ├── mod.rs │ ├── nogoods │ │ ├── arena_allocator.rs │ │ ├── learning_options.rs │ │ ├── mod.rs │ │ ├── nogood_id.rs │ │ ├── nogood_info.rs │ │ └── nogood_propagator.rs │ └── reified_propagator.rs │ ├── pumpkin_asserts.rs │ └── statistics │ ├── mod.rs │ ├── statistic_logger.rs │ └── statistic_logging.rs ├── pumpkin-macros ├── Cargo.toml └── src │ └── lib.rs ├── pumpkin-solver-py ├── .gitignore ├── Cargo.toml ├── README.md ├── build.rs ├── examples │ └── nqueens.py ├── pyproject.toml ├── src │ ├── constraints │ │ ├── arguments.rs │ │ ├── globals.rs │ │ └── mod.rs │ ├── lib.rs │ ├── model.rs │ ├── optimisation.rs │ ├── result.rs │ └── variables.rs └── tests │ ├── test_assumptions.py │ ├── test_constraint_tags.py │ ├── test_constraints.py │ └── test_optimisation.py ├── pumpkin-solver ├── .gitignore ├── CHANGELOG.md ├── Cargo.toml ├── build.rs ├── examples │ ├── bibd.rs │ ├── disjunctive_scheduling.rs │ └── nqueens.rs ├── src │ ├── bin │ │ └── pumpkin-solver │ │ │ ├── file_format.rs │ │ │ ├── flatzinc │ │ │ ├── ast.rs │ │ │ ├── compiler │ │ │ │ ├── collect_domains.rs │ │ │ │ ├── context.rs │ │ │ │ ├── create_objective.rs │ │ │ │ ├── create_search_strategy.rs │ │ │ │ ├── define_constants.rs │ │ │ │ ├── define_variable_arrays.rs │ │ │ │ ├── handle_set_in.rs │ │ │ │ ├── merge_equivalences.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── post_constraints.rs │ │ │ │ ├── prepare_variables.rs │ │ │ │ ├── remove_unused_variables.rs │ │ │ │ └── reserve_constraint_tags.rs │ │ │ ├── error.rs │ │ │ ├── instance.rs │ │ │ ├── mod.rs │ │ │ └── parser.rs │ │ │ ├── main.rs │ │ │ ├── maxsat │ │ │ ├── encoders │ │ │ │ ├── cardinality_networks_encoder.rs │ │ │ │ ├── generalised_totaliser_encoder.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── pseudo_boolean_constraint_encoder.rs │ │ │ │ └── weighted_literal.rs │ │ │ ├── mod.rs │ │ │ └── optimisation │ │ │ │ ├── linear_search.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── optimisation_result.rs │ │ │ │ ├── optimisation_solver.rs │ │ │ │ └── stopwatch.rs │ │ │ ├── os_signal_termination.rs │ │ │ ├── parsers │ │ │ ├── dimacs.rs │ │ │ └── mod.rs │ │ │ └── result.rs │ └── lib.rs └── tests │ ├── cnf │ ├── .gitignore │ ├── README.md │ ├── add128.cnf │ ├── add16.cnf │ ├── add32.cnf │ ├── add4.cnf │ ├── add64.cnf │ ├── add8.cnf │ ├── block0.cnf │ ├── checkers │ │ ├── drat-trim.c │ │ ├── io.h │ │ ├── precochk.c │ │ └── time.h │ ├── elimclash.cnf │ ├── elimredundant.cnf │ ├── empty.cnf │ ├── factor2708413neg.cnf │ ├── factor2708413pos.cnf │ ├── full1.cnf │ ├── full2.cnf │ ├── full3.cnf │ ├── full4.cnf │ ├── full5.cnf │ ├── full6.cnf │ ├── full7.cnf │ ├── ph2.cnf │ ├── ph3.cnf │ ├── ph4.cnf │ ├── ph5.cnf │ ├── ph6.cnf │ ├── prime121.cnf │ ├── prime1369.cnf │ ├── prime1681.cnf │ ├── prime169.cnf │ ├── prime1849.cnf │ ├── prime2209.cnf │ ├── prime25.cnf │ ├── prime289.cnf │ ├── prime361.cnf │ ├── prime4.cnf │ ├── prime4294967297.cnf │ ├── prime49.cnf │ ├── prime529.cnf │ ├── prime65537.cnf │ ├── prime841.cnf │ ├── prime9.cnf │ ├── prime961.cnf │ ├── regr000.cnf │ ├── sat0.cnf │ ├── sat1.cnf │ ├── sat10.cnf │ ├── sat11.cnf │ ├── sat12.cnf │ ├── sat13.cnf │ ├── sat2.cnf │ ├── sat3.cnf │ ├── sat4.cnf │ ├── sat5.cnf │ ├── sat6.cnf │ ├── sat7.cnf │ ├── sat8.cnf │ ├── sat9.cnf │ ├── sqrt10201.cnf │ ├── sqrt1042441.cnf │ ├── sqrt10609.cnf │ ├── sqrt11449.cnf │ ├── sqrt11881.cnf │ ├── sqrt12769.cnf │ ├── sqrt16129.cnf │ ├── sqrt259081.cnf │ ├── sqrt2809.cnf │ ├── sqrt3481.cnf │ ├── sqrt3721.cnf │ ├── sqrt4489.cnf │ ├── sqrt5041.cnf │ ├── sqrt5329.cnf │ ├── sqrt6241.cnf │ ├── sqrt63001.cnf │ ├── sqrt6889.cnf │ ├── sqrt7921.cnf │ ├── sqrt9409.cnf │ ├── sub0.cnf │ ├── trivially_false.cnf │ ├── unit0.cnf │ ├── unit1.cnf │ ├── unit2.cnf │ ├── unit3.cnf │ ├── unit4.cnf │ ├── unit5.cnf │ ├── unit6.cnf │ └── unit7.cnf │ ├── cnf_test.rs │ ├── helpers │ ├── flatzinc.rs │ └── mod.rs │ ├── iteration_test.rs │ ├── mzn_constraint_test.rs │ ├── mzn_constraints │ ├── .gitignore │ ├── all_different.expected │ ├── all_different.fzn │ ├── all_different.template │ ├── array_int_maximum.expected │ ├── array_int_maximum.fzn │ ├── array_int_minimum.expected │ ├── array_int_minimum.fzn │ ├── binary_int_lin_eq.expected │ ├── binary_int_lin_eq.fzn │ ├── bool2int.expected │ ├── bool2int.fzn │ ├── bool2int_mix.expected │ ├── bool2int_mix.fzn │ ├── bool2int_set.expected │ ├── bool2int_set.fzn │ ├── bool_clause.expected │ ├── bool_clause.fzn │ ├── bool_lin_eq.expected │ ├── bool_lin_eq.fzn │ ├── bool_lin_le.expected │ ├── bool_lin_le.fzn │ ├── bool_not.expected │ ├── bool_not.fzn │ ├── bool_xor.expected │ ├── bool_xor.fzn │ ├── bool_xor.template │ ├── bool_xor_reif.expected │ ├── bool_xor_reif.fzn │ ├── bool_xor_reif.template │ ├── cumulative.expected │ ├── cumulative.fzn │ ├── cumulative.template │ ├── disjunctive_strict.expected │ ├── disjunctive_strict.fzn │ ├── disjunctive_strict.template │ ├── generate_expectations.sh │ ├── int_abs.expected │ ├── int_abs.fzn │ ├── int_div.expected │ ├── int_div.fzn │ ├── int_eq.expected │ ├── int_eq.fzn │ ├── int_eq_reif.expected │ ├── int_eq_reif.fzn │ ├── int_le.expected │ ├── int_le.fzn │ ├── int_le_reif.expected │ ├── int_le_reif.fzn │ ├── int_lin_eq.expected │ ├── int_lin_eq.fzn │ ├── int_lin_eq_reif.expected │ ├── int_lin_eq_reif.fzn │ ├── int_lin_le.expected │ ├── int_lin_le.fzn │ ├── int_lin_le_reif.expected │ ├── int_lin_le_reif.fzn │ ├── int_lin_ne.expected │ ├── int_lin_ne.fzn │ ├── int_lin_ne_reif.expected │ ├── int_lin_ne_reif.fzn │ ├── int_lt.expected │ ├── int_lt.fzn │ ├── int_lt_reif.expected │ ├── int_lt_reif.fzn │ ├── int_max.expected │ ├── int_max.fzn │ ├── int_min.expected │ ├── int_min.fzn │ ├── int_mod.expected │ ├── int_mod.fzn │ ├── int_ne.expected │ ├── int_ne.fzn │ ├── int_ne_reif.expected │ ├── int_ne_reif.fzn │ ├── int_plus.expected │ ├── int_plus.fzn │ ├── int_times.expected │ ├── int_times.fzn │ ├── set_in.expected │ ├── set_in.fzn │ ├── set_in_reif_interval.expected │ ├── set_in_reif_interval.fzn │ ├── set_in_reif_sparse.expected │ ├── set_in_reif_sparse.fzn │ ├── set_in_set.expected │ ├── set_in_set.fzn │ ├── table.expected │ ├── table.fzn │ ├── table.template │ ├── table_reif.expected │ ├── table_reif.fzn │ ├── table_reif.template │ ├── unbounded_integer.expected │ └── unbounded_integer.fzn │ ├── mzn_infeasible │ ├── .gitignore │ ├── connected.fzn │ ├── connected.template │ └── prop_stress.fzn │ ├── mzn_infeasible_test.rs │ ├── mzn_optimization │ ├── .gitignore │ ├── constant_objective.expected │ ├── constant_objective.fzn │ ├── maximise_1.expected │ ├── maximise_1.fzn │ ├── minimise_1.expected │ ├── minimise_1.fzn │ ├── unconstrained_objective_maximise.expected │ ├── unconstrained_objective_maximise.fzn │ ├── unconstrained_objective_minimise.expected │ ├── unconstrained_objective_minimise.fzn │ ├── unfixed_objective.expected │ └── unfixed_objective.fzn │ ├── mzn_optimization_test.rs │ ├── mzn_search │ ├── .gitignore │ ├── bool_search_provided_directly.expected │ ├── bool_search_provided_directly.fzn │ ├── bool_warm_start.expected │ ├── bool_warm_start.fzn │ ├── bool_warm_start.template │ ├── bool_warm_start_array.expected │ ├── bool_warm_start_array.fzn │ ├── bool_warm_start_array.template │ ├── int_warm_start.expected │ ├── int_warm_start.fzn │ ├── int_warm_start.template │ ├── int_warm_start_array.expected │ ├── int_warm_start_array.fzn │ ├── int_warm_start_array.template │ ├── search_annotation_does_not_fix_all_variables.expected │ ├── search_annotation_does_not_fix_all_variables.fzn │ ├── search_over_bools_no_propagators.expected │ ├── search_over_bools_no_propagators.fzn │ ├── search_over_ints_no_propagators.expected │ ├── search_over_ints_no_propagators.fzn │ ├── search_with_constants_in_search.expected │ ├── search_with_constants_in_search.fzn │ ├── seq_search_1.expected │ └── seq_search_1.fzn │ ├── mzn_search_test.rs │ ├── solver_test.rs │ ├── wcnf │ ├── .gitignore │ ├── checkers │ │ ├── Wcnf.cc │ │ ├── Wcnf.h │ │ ├── maxsat-checker.cc │ │ └── stream_utils.h │ ├── johnson8_2_4.wcnf │ ├── johnson8_4_4.wcnf │ ├── karate.wcnf │ ├── normalized_g2x2.wcnf │ ├── normalized_g9x3.wcnf │ ├── normalized_g9x9.wcnf │ ├── ram_k3_n9.wcnf │ ├── riskmap.wcnf │ ├── simple.wcnf │ └── test.cnf │ └── wcnf_test.rs ├── pumpkin.svg ├── release-please-config.json ├── rust-toolchain.toml ├── rustfmt.toml └── scripts ├── clippy.sh ├── deny.sh ├── documentation.sh └── fmt.sh /.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | rustflags = ["-Ctarget-cpu=native"] 3 | -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | # IDE Files 2 | .vscode/ 3 | .idea/ 4 | 5 | # Build Artifacts 6 | target/ 7 | 8 | -------------------------------------------------------------------------------- /.githooks/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.githooks/pre-commit -------------------------------------------------------------------------------- /.github/workflows/ci-python.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.github/workflows/ci-python.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/release-packages.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.github/workflows/release-packages.yml -------------------------------------------------------------------------------- /.github/workflows/release-please.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.github/workflows/release-please.yml -------------------------------------------------------------------------------- /.github/workflows/reset_reviewed_status.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.github/workflows/reset_reviewed_status.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | .vscode/ 3 | .idea/ 4 | -------------------------------------------------------------------------------- /.release-please-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/.release-please-manifest.json -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/README.md -------------------------------------------------------------------------------- /clippy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/clippy.toml -------------------------------------------------------------------------------- /deny.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/deny.toml -------------------------------------------------------------------------------- /drcp-debugger/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-debugger/Cargo.toml -------------------------------------------------------------------------------- /drcp-debugger/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-debugger/src/main.rs -------------------------------------------------------------------------------- /drcp-format/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/CHANGELOG.md -------------------------------------------------------------------------------- /drcp-format/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/Cargo.toml -------------------------------------------------------------------------------- /drcp-format/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/README.md -------------------------------------------------------------------------------- /drcp-format/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/src/lib.rs -------------------------------------------------------------------------------- /drcp-format/src/reader/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/src/reader/error.rs -------------------------------------------------------------------------------- /drcp-format/src/reader/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/src/reader/mod.rs -------------------------------------------------------------------------------- /drcp-format/src/reader/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/src/reader/parser.rs -------------------------------------------------------------------------------- /drcp-format/src/writer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/drcp-format/src/writer/mod.rs -------------------------------------------------------------------------------- /instances/BrazilInstance1.xml.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/BrazilInstance1.xml.wcnf -------------------------------------------------------------------------------- /instances/BrazilInstance2.xml.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/BrazilInstance2.xml.wcnf -------------------------------------------------------------------------------- /instances/BrazilInstance7.xml.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/BrazilInstance7.xml.wcnf -------------------------------------------------------------------------------- /instances/Instance1_11200.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/Instance1_11200.wcnf -------------------------------------------------------------------------------- /instances/ItalyInstance1.xml.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/ItalyInstance1.xml.wcnf -------------------------------------------------------------------------------- /instances/hole10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/hole10.cnf -------------------------------------------------------------------------------- /instances/hole6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/hole6.cnf -------------------------------------------------------------------------------- /instances/hole7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/hole7.cnf -------------------------------------------------------------------------------- /instances/hole8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/hole8.cnf -------------------------------------------------------------------------------- /instances/hole9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/hole9.cnf -------------------------------------------------------------------------------- /instances/simple.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/simple.wcnf -------------------------------------------------------------------------------- /instances/test1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/test1.cnf -------------------------------------------------------------------------------- /instances/unsat-sample.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/unsat-sample.cnf -------------------------------------------------------------------------------- /instances/v100c500.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/instances/v100c500.cnf -------------------------------------------------------------------------------- /minizinc/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/Dockerfile -------------------------------------------------------------------------------- /minizinc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/README.md -------------------------------------------------------------------------------- /minizinc/lib/fzn_all_different_int.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/fzn_all_different_int.mzn -------------------------------------------------------------------------------- /minizinc/lib/fzn_cumulative.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/fzn_cumulative.mzn -------------------------------------------------------------------------------- /minizinc/lib/fzn_disjunctive_strict.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/fzn_disjunctive_strict.mzn -------------------------------------------------------------------------------- /minizinc/lib/fzn_table_int.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/fzn_table_int.mzn -------------------------------------------------------------------------------- /minizinc/lib/fzn_table_int_reif.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/fzn_table_int_reif.mzn -------------------------------------------------------------------------------- /minizinc/lib/redefinitions-2.0.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/redefinitions-2.0.mzn -------------------------------------------------------------------------------- /minizinc/lib/redefinitions.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/lib/redefinitions.mzn -------------------------------------------------------------------------------- /minizinc/pumpkin.msc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/minizinc/pumpkin.msc -------------------------------------------------------------------------------- /pumpkin-crates/core/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/CHANGELOG.md -------------------------------------------------------------------------------- /pumpkin-crates/core/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/Cargo.toml -------------------------------------------------------------------------------- /pumpkin-crates/core/clippy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/clippy.toml -------------------------------------------------------------------------------- /pumpkin-crates/core/src/api/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/api/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/api/outputs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/api/outputs/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/api/outputs/solution_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/api/outputs/solution_iterator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/api/outputs/unsatisfiable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/api/outputs/unsatisfiable.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/api/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/api/solver.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/constraint_operation_error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/constraint_operation_error.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/constraint_reference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/constraint_reference.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/csp_solver_execution_flag.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/csp_solver_execution_flag.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/function.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/moving_averages/cumulative_moving_average.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/moving_averages/cumulative_moving_average.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/moving_averages/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/moving_averages/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/moving_averages/moving_average.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/moving_averages/moving_average.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/moving_averages/windowed_moving_average.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/moving_averages/windowed_moving_average.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/predicate_id_generators/deletable_predicate_id_generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/predicate_id_generators/deletable_predicate_id_generator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/predicate_id_generators/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/predicate_id_generators/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/predicate_id_generators/predicate_id_generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/predicate_id_generators/predicate_id_generator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/propagation_status_cp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/propagation_status_cp.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/propositional_conjunction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/propositional_conjunction.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/random.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/sequence_generators/constant_sequence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/sequence_generators/constant_sequence.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/sequence_generators/geometric_sequence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/sequence_generators/geometric_sequence.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/sequence_generators/luby_sequence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/sequence_generators/luby_sequence.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/sequence_generators/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/sequence_generators/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/sequence_generators/sequence_generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/sequence_generators/sequence_generator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/sequence_generators/sequence_generator_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/sequence_generators/sequence_generator_type.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/solution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/solution.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/stored_conflict_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/stored_conflict_info.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/basic_types/trail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/basic_types/trail.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/brancher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/brancher.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/alternating_brancher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/alternating_brancher.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_restarts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_restarts.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_solutions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/strategies/every_x_solutions.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/strategies/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/strategies/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/strategies/other_only.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/strategies/other_only.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/alternating/strategies/until_solution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/alternating/strategies/until_solution.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/autonomous_search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/autonomous_search.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/dynamic_brancher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/dynamic_brancher.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/independent_variable_value_brancher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/independent_variable_value_brancher.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/branchers/warm_start.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/branchers/warm_start.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/selection_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/selection_context.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/tie_breaking/in_order_tie_breaker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/tie_breaking/in_order_tie_breaker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/tie_breaking/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/tie_breaking/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/tie_breaking/random_tie_breaker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/tie_breaking/random_tie_breaker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/tie_breaking/tie_breaker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/tie_breaking/tie_breaker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/dynamic_value_selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/dynamic_value_selector.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_interval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_interval.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_max.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_max.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_median.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_median.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_middle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_middle.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_min.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_min.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_random.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_split.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_split.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/in_domain_split_random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/in_domain_split_random.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/out_domain_max.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/out_domain_max.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/out_domain_median.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/out_domain_median.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/out_domain_min.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/out_domain_min.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/out_domain_random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/out_domain_random.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/random_splitter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/random_splitter.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/reverse_in_domain_split.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/reverse_in_domain_split.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/value_selection/value_selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/value_selection/value_selector.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/anti_first_fail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/anti_first_fail.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/dynamic_variable_selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/dynamic_variable_selector.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/first_fail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/first_fail.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/input_order.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/input_order.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/largest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/largest.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/max_regret.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/max_regret.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/most_constrained.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/most_constrained.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/occurrence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/occurrence.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/proportional_domain_size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/proportional_domain_size.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/random.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/smallest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/smallest.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/branching/variable_selection/variable_selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/branching/variable_selection/variable_selector.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/all_different.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/all_different.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/arithmetic/equality.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/arithmetic/equality.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/arithmetic/inequality.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/arithmetic/inequality.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/arithmetic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/arithmetic/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/boolean.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/boolean.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/clause.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/clause.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/constraint_poster.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/constraint_poster.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/cumulative.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/cumulative.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/disjunctive_strict.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/disjunctive_strict.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/element.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/element.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/constraints/table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/constraints/table.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/containers/key_generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/containers/key_generator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/containers/key_value_heap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/containers/key_value_heap.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/containers/keyed_vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/containers/keyed_vec.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/containers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/containers/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/containers/sparse_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/containers/sparse_set.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/conflict_analysis_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/conflict_analysis_context.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/minimisers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/minimisers/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/minimisers/recursive_minimiser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/minimisers/recursive_minimiser.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/minimisers/semantic_minimiser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/minimisers/semantic_minimiser.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/resolvers/conflict_resolver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/conflict_resolver.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/resolvers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/resolvers/no_learning_resolver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/no_learning_resolver.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/conflict_analysis/resolvers/resolution_resolver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/conflict_analysis/resolvers/resolution_resolver.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/constraint_satisfaction_solver.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/constraint_tag.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/assignments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/assignments.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/constructor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/constructor.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/contexts/explanation_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/contexts/explanation_context.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/contexts/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/contexts/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/contexts/propagation_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/contexts/propagation_context.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/local_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/local_id.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/propagator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/propagator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/propagator_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/propagator_id.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/propagator_var_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/propagator_var_id.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagation/store.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagation/store.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/propagator_queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/propagator_queue.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/reason.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/reason.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/test_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/test_helper.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/test_solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/test_solver.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/trailed/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/trailed/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/trailed/trailed_change.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/trailed/trailed_change.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/trailed/trailed_integer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/trailed/trailed_integer.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/cp/trailed/trailed_values.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/cp/trailed/trailed_values.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/debug_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/debug_helper.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/literal_block_distance.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/literal_block_distance.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_event_watch_list.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_event_watch_list.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_events.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/domain_event_notification/domain_events.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/domain_event_notification/event_sink.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/domain_event_notification/event_sink.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/domain_event_notification/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/domain_event_notification/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/domain_event_notification/opaque_domain_event.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/domain_event_notification/opaque_domain_event.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_assignments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_assignments.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_notifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_notifier.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_tracker_for_domain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_tracker_for_domain.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/disequality_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/disequality_tracker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/equality_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/equality_tracker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/lower_bound_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/lower_bound_tracker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/upper_bound_tracker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/notifications/predicate_notification/predicate_trackers/upper_bound_tracker.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/predicates/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/predicates/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/predicates/predicate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/predicates/predicate.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/predicates/predicate_constructor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/predicates/predicate_constructor.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/restart_strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/restart_strategy.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/solver_statistics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/solver_statistics.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/termination/combinator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/termination/combinator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/termination/indefinite.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/termination/indefinite.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/termination/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/termination/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/termination/time_budget.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/termination/time_budget.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variable_names.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variable_names.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/affine_view.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/affine_view.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/domain_generator_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/domain_generator_iterator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/domain_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/domain_id.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/integer_variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/integer_variable.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/literal.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/propositional_variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/propositional_variable.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/propositional_variable_generator_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/propositional_variable_generator_iterator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/engine/variables/transformable_variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/engine/variables/transformable_variable.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/lib.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/math/mod.rs: -------------------------------------------------------------------------------- 1 | pub(crate) mod num_ext; 2 | -------------------------------------------------------------------------------- /pumpkin-crates/core/src/math/num_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/math/num_ext.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/optimisation/linear_sat_unsat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/optimisation/linear_sat_unsat.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/optimisation/linear_unsat_sat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/optimisation/linear_unsat_sat.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/optimisation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/optimisation/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/optimisation/solution_callback.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/optimisation/solution_callback.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/proof/dimacs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/proof/dimacs.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/proof/finalizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/proof/finalizer.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/proof/inference_code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/proof/inference_code.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/proof/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/proof/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/proof/proof_atomics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/proof/proof_atomics.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/absolute_value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/absolute_value.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/binary/binary_equals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/binary/binary_equals.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/binary/binary_not_equals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/binary/binary_not_equals.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/binary/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/binary/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/integer_division.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/integer_division.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/integer_multiplication.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/integer_multiplication.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/linear_less_or_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/linear_less_or_equal.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/linear_not_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/linear_not_equal.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/maximum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/maximum.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/arithmetic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/arithmetic/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/options.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/big_step.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/big_step.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/naive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/naive.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/pointwise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/explanations/pointwise.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/checks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/checks.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/debug.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/insertion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/insertion.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/removal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/removal.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/synchronisation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/synchronisation.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/time_table_over_interval_incremental.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/over_interval_incremental_propagator/time_table_over_interval_incremental.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/synchronisation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/synchronisation.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/time_table_per_point_incremental.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/per_point_incremental_propagator/time_table_per_point_incremental.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/propagation_handler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/propagation_handler.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_over_interval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_over_interval.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_per_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_per_point.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/time_table/time_table_util.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/mandatory_part_adjustments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/mandatory_part_adjustments.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/parameters.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/parameters.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/resource_profile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/resource_profile.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/task.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/updatable_structures.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/updatable_structures.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/structs/updated_task_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/structs/updated_task_info.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/cumulative/utils/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/cumulative/utils/util.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/disjunctive/disjunctive_propagator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/disjunctive/disjunctive_propagator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/disjunctive/disjunctive_task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/disjunctive/disjunctive_task.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/disjunctive/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/disjunctive/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/disjunctive/theta_lambda_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/disjunctive/theta_lambda_tree.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/disjunctive/theta_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/disjunctive/theta_tree.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/element.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/element.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/nogoods/arena_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/nogoods/arena_allocator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/nogoods/learning_options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/nogoods/learning_options.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/nogoods/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/nogoods/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/nogoods/nogood_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/nogoods/nogood_id.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/nogoods/nogood_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/nogoods/nogood_info.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/nogoods/nogood_propagator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/propagators/reified_propagator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/propagators/reified_propagator.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/pumpkin_asserts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/pumpkin_asserts.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/statistics/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/statistics/mod.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/statistics/statistic_logger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/statistics/statistic_logger.rs -------------------------------------------------------------------------------- /pumpkin-crates/core/src/statistics/statistic_logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-crates/core/src/statistics/statistic_logging.rs -------------------------------------------------------------------------------- /pumpkin-macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-macros/Cargo.toml -------------------------------------------------------------------------------- /pumpkin-macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-macros/src/lib.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/.gitignore -------------------------------------------------------------------------------- /pumpkin-solver-py/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/Cargo.toml -------------------------------------------------------------------------------- /pumpkin-solver-py/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/README.md -------------------------------------------------------------------------------- /pumpkin-solver-py/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | pyo3_build_config::add_extension_module_link_args(); 3 | } 4 | -------------------------------------------------------------------------------- /pumpkin-solver-py/examples/nqueens.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/examples/nqueens.py -------------------------------------------------------------------------------- /pumpkin-solver-py/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/pyproject.toml -------------------------------------------------------------------------------- /pumpkin-solver-py/src/constraints/arguments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/constraints/arguments.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/constraints/globals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/constraints/globals.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/constraints/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/constraints/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/lib.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/model.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/model.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/optimisation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/optimisation.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/result.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/result.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/src/variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/src/variables.rs -------------------------------------------------------------------------------- /pumpkin-solver-py/tests/test_assumptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/tests/test_assumptions.py -------------------------------------------------------------------------------- /pumpkin-solver-py/tests/test_constraint_tags.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/tests/test_constraint_tags.py -------------------------------------------------------------------------------- /pumpkin-solver-py/tests/test_constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/tests/test_constraints.py -------------------------------------------------------------------------------- /pumpkin-solver-py/tests/test_optimisation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver-py/tests/test_optimisation.py -------------------------------------------------------------------------------- /pumpkin-solver/.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | -------------------------------------------------------------------------------- /pumpkin-solver/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/CHANGELOG.md -------------------------------------------------------------------------------- /pumpkin-solver/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/Cargo.toml -------------------------------------------------------------------------------- /pumpkin-solver/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/build.rs -------------------------------------------------------------------------------- /pumpkin-solver/examples/bibd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/examples/bibd.rs -------------------------------------------------------------------------------- /pumpkin-solver/examples/disjunctive_scheduling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/examples/disjunctive_scheduling.rs -------------------------------------------------------------------------------- /pumpkin-solver/examples/nqueens.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/examples/nqueens.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/file_format.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/file_format.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/ast.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/collect_domains.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/collect_domains.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/context.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_objective.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_objective.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_search_strategy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/create_search_strategy.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_constants.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_variable_arrays.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/define_variable_arrays.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/handle_set_in.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/handle_set_in.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/merge_equivalences.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/merge_equivalences.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/post_constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/post_constraints.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/prepare_variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/prepare_variables.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/remove_unused_variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/remove_unused_variables.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/reserve_constraint_tags.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/compiler/reserve_constraint_tags.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/error.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/instance.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/instance.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/flatzinc/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/flatzinc/parser.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/main.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/cardinality_networks_encoder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/cardinality_networks_encoder.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/generalised_totaliser_encoder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/generalised_totaliser_encoder.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/pseudo_boolean_constraint_encoder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/pseudo_boolean_constraint_encoder.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/weighted_literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/encoders/weighted_literal.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/linear_search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/linear_search.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_result.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_result.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/optimisation_solver.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/stopwatch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/maxsat/optimisation/stopwatch.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/os_signal_termination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/os_signal_termination.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/parsers/dimacs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/parsers/dimacs.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/parsers/mod.rs: -------------------------------------------------------------------------------- 1 | pub(crate) mod dimacs; 2 | -------------------------------------------------------------------------------- /pumpkin-solver/src/bin/pumpkin-solver/result.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/bin/pumpkin-solver/result.rs -------------------------------------------------------------------------------- /pumpkin-solver/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/src/lib.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/.gitignore -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/README.md -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/add128.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/add128.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/add16.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/add16.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/add32.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/add32.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/add4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/add4.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/add64.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/add64.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/add8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/add8.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/block0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/block0.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/checkers/drat-trim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/checkers/drat-trim.c -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/checkers/io.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/checkers/io.h -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/checkers/precochk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/checkers/precochk.c -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/checkers/time.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/checkers/time.h -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/elimclash.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/elimclash.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/elimredundant.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/elimredundant.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/empty.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/factor2708413neg.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/factor2708413neg.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/factor2708413pos.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/factor2708413pos.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full1.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full2.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full3.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full4.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full5.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full6.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/full7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/full7.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/ph2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/ph2.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/ph3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/ph3.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/ph4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/ph4.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/ph5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/ph5.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/ph6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/ph6.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime121.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime121.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime1369.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime1369.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime1681.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime1681.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime169.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime169.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime1849.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime1849.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime2209.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime2209.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime25.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime289.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime289.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime361.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime361.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime4.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime4294967297.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime4294967297.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime49.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime49.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime529.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime529.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime65537.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime65537.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime841.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime841.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime9.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/prime961.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/prime961.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/regr000.cnf: -------------------------------------------------------------------------------- 1 | p cnf 10 1 2 | 10 0 3 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat0.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat1.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat10.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat11.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat11.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat12.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat12.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat13.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat13.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat2.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat3.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat4.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat5.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat6.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat7.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat8.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sat9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sat9.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt10201.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt10201.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt1042441.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt1042441.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt10609.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt10609.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt11449.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt11449.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt11881.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt11881.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt12769.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt12769.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt16129.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt16129.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt259081.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt259081.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt2809.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt2809.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt3481.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt3481.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt3721.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt3721.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt4489.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt4489.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt5041.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt5041.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt5329.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt5329.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt6241.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt6241.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt63001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt63001.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt6889.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt6889.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt7921.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt7921.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sqrt9409.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sqrt9409.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/sub0.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/sub0.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/trivially_false.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 1 2 | 0 3 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit0.cnf: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 0 3 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit1.cnf: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -1 0 3 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit2.cnf: -------------------------------------------------------------------------------- 1 | p cnf 2 2 2 | 1 0 3 | -1 2 0 4 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit3.cnf: -------------------------------------------------------------------------------- 1 | p cnf 2 2 2 | 1 -2 0 3 | -1 0 4 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/unit4.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/unit5.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/unit6.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf/unit7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf/unit7.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/cnf_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/cnf_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/helpers/flatzinc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/helpers/flatzinc.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/helpers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/helpers/mod.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/iteration_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/iteration_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraint_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraint_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/.gitignore: -------------------------------------------------------------------------------- 1 | *.log 2 | *.err 3 | *.proof 4 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/all_different.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/all_different.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/all_different.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/all_different.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/all_different.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/all_different.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/array_int_maximum.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/array_int_maximum.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/array_int_maximum.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/array_int_maximum.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/array_int_minimum.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/array_int_minimum.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/array_int_minimum.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/array_int_minimum.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/binary_int_lin_eq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/binary_int_lin_eq.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/binary_int_lin_eq.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/binary_int_lin_eq.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool2int.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool2int.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool2int.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool2int.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool2int_mix.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool2int_mix.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool2int_mix.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool2int_mix.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool2int_set.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool2int_set.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool2int_set.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool2int_set.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_clause.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_clause.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_clause.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_clause.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_lin_eq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_lin_eq.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_lin_eq.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_lin_eq.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_lin_le.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_lin_le.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_lin_le.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_lin_le.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_not.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_not.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_not.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_not.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_xor.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_xor.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_xor.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_xor.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_xor.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_xor.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_xor_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_xor_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_xor_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_xor_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/bool_xor_reif.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/bool_xor_reif.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/cumulative.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/cumulative.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/cumulative.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/cumulative.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/cumulative.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/cumulative.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/disjunctive_strict.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/disjunctive_strict.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/disjunctive_strict.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/disjunctive_strict.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/disjunctive_strict.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/disjunctive_strict.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/generate_expectations.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/generate_expectations.sh -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_abs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_abs.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_abs.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_abs.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_div.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_div.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_div.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_div.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_eq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_eq.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_eq.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_eq.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_eq_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_eq_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_eq_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_eq_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_le.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_le.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_le.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_le.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_le_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_le_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_le_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_le_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_eq.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_eq.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_eq.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_eq.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_eq_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_eq_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_eq_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_eq_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_le.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_le.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_le.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_le.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_le_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_le_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_le_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_le_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_ne.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_ne.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_ne.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_ne.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_ne_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_ne_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lin_ne_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lin_ne_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lt.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lt.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lt.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lt.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lt_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lt_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_lt_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_lt_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_max.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_max.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_max.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_max.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_min.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_min.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_min.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_min.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_mod.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_mod.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_mod.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_mod.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_ne.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_ne.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_ne.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_ne.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_ne_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_ne_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_ne_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_ne_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_plus.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_plus.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_plus.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_plus.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_times.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_times.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/int_times.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/int_times.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in.fzn: -------------------------------------------------------------------------------- 1 | var 1..4: x :: output_var; 2 | 3 | constraint set_in(x, {1, 3}); 4 | 5 | solve satisfy; 6 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in_reif_interval.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in_reif_interval.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in_reif_interval.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in_reif_interval.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in_reif_sparse.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in_reif_sparse.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in_reif_sparse.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in_reif_sparse.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in_set.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in_set.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/set_in_set.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/set_in_set.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/table.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/table.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/table.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/table.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/table.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/table.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/table_reif.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/table_reif.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/table_reif.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/table_reif.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/table_reif.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/table_reif.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/unbounded_integer.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/unbounded_integer.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_constraints/unbounded_integer.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_constraints/unbounded_integer.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_infeasible/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_infeasible/.gitignore -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_infeasible/connected.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_infeasible/connected.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_infeasible/connected.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_infeasible/connected.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_infeasible/prop_stress.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_infeasible/prop_stress.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_infeasible_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_infeasible_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/.gitignore -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/constant_objective.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/constant_objective.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/constant_objective.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/constant_objective.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/maximise_1.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/maximise_1.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/maximise_1.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/maximise_1.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/minimise_1.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/minimise_1.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/minimise_1.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/minimise_1.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/unconstrained_objective_maximise.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_maximise.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/unconstrained_objective_maximise.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_maximise.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/unconstrained_objective_minimise.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_minimise.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/unconstrained_objective_minimise.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/unconstrained_objective_minimise.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/unfixed_objective.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/unfixed_objective.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization/unfixed_objective.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization/unfixed_objective.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_optimization_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_optimization_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/.gitignore: -------------------------------------------------------------------------------- 1 | *.log 2 | *.err 3 | *.proof 4 | -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_search_provided_directly.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_search_provided_directly.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_search_provided_directly.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_search_provided_directly.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_warm_start.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_warm_start.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_warm_start.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_warm_start.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_warm_start.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_warm_start.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_warm_start_array.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_warm_start_array.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_warm_start_array.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_warm_start_array.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/bool_warm_start_array.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/bool_warm_start_array.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/int_warm_start.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/int_warm_start.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/int_warm_start.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/int_warm_start.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/int_warm_start.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/int_warm_start.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/int_warm_start_array.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/int_warm_start_array.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/int_warm_start_array.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/int_warm_start_array.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/int_warm_start_array.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/int_warm_start_array.template -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_annotation_does_not_fix_all_variables.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_annotation_does_not_fix_all_variables.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_annotation_does_not_fix_all_variables.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_annotation_does_not_fix_all_variables.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_over_bools_no_propagators.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_over_bools_no_propagators.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_over_bools_no_propagators.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_over_bools_no_propagators.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_over_ints_no_propagators.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_over_ints_no_propagators.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_over_ints_no_propagators.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_over_ints_no_propagators.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_with_constants_in_search.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_with_constants_in_search.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/search_with_constants_in_search.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/search_with_constants_in_search.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/seq_search_1.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/seq_search_1.expected -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search/seq_search_1.fzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search/seq_search_1.fzn -------------------------------------------------------------------------------- /pumpkin-solver/tests/mzn_search_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/mzn_search_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/solver_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/solver_test.rs -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/.gitignore -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/checkers/Wcnf.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/checkers/Wcnf.cc -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/checkers/Wcnf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/checkers/Wcnf.h -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/checkers/maxsat-checker.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/checkers/maxsat-checker.cc -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/checkers/stream_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/checkers/stream_utils.h -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/johnson8_2_4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/johnson8_2_4.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/johnson8_4_4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/johnson8_4_4.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/karate.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/karate.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/normalized_g2x2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/normalized_g2x2.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/normalized_g9x3.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/normalized_g9x3.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/normalized_g9x9.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/normalized_g9x9.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/ram_k3_n9.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/ram_k3_n9.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/riskmap.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/riskmap.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/simple.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/simple.wcnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf/test.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf/test.cnf -------------------------------------------------------------------------------- /pumpkin-solver/tests/wcnf_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin-solver/tests/wcnf_test.rs -------------------------------------------------------------------------------- /pumpkin.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/pumpkin.svg -------------------------------------------------------------------------------- /release-please-config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/release-please-config.json -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "stable" 3 | -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /scripts/clippy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/scripts/clippy.sh -------------------------------------------------------------------------------- /scripts/deny.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/scripts/deny.sh -------------------------------------------------------------------------------- /scripts/documentation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/scripts/documentation.sh -------------------------------------------------------------------------------- /scripts/fmt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ConSol-Lab/Pumpkin/HEAD/scripts/fmt.sh --------------------------------------------------------------------------------