All versions z3_objective z3-auto-subsolver xor_simplify_bool xcsp3_experiments xcsp3_competition xcsp3_26 version_tracking version-checking version_bump varname_in_varmap var_name_check var-comp-sum update_setup_versions update_pumpkin_interface update_global_tests unified-prooflogging ufunc typing_core type_listlike typed_globals tuner_verbose tools_xcsp3 to_int time_without_hassubexpr tests_require_gurobi tests_partial tests_dupl test_np_update test_hassubexpr_main test_array_indexing_bug table_mdd_encoding table_mdd_decomp table_has_subexpr sudoku-variant-examples-2 sub_in_canonical_comparison str-format stable special_case_xor solve_status solver_vars2 solver_vars solver_specifc_test solver_modulenotfound solverlookup_status solverlookup_functions solver_list solveAll_kwargs solution_hint_gurobi small_gcs_updates skip-psplib-test skip_on_missing_solver simplify_nested_wsum_boolexpr simpl_bool_fix simpl_bool short_table_decomp setup_fixes setup_all_solvers selective-channels-linear-solvers-xcsp3 selective-channeling-xcsp3 selective-channeling scip_cumulative safe_variable_names safening_type_fix ruff remove-warning-with-nps remove_recursion_flatten release_notes_tool release_0_9_25 reintroduce_deprecated_varfuncs regular_decomp_mdd refactor_simplify_bool refactor_safen refactor_negation refactor_decompose rc2 python_requirement pytest_parametrised pytest_not_inherit pytest_improvements_core pytestify pytest_all_solvers_versions_tool pysat-pb-reification py3.8_setuptools pumpkin_version pumpkin-tag-fix pumpkin_proof_on_init pumpkin_incremental pumpkin-fix-tag pumpkin-fix-linearization pumpkin psplib_example prototype_smtlib_pysmt precedence_needs_cmp_array positive_globals positive_decomp pb26 parametrised_fix_tests parameters-to-exact ortools_version_hotfix ortools-obj-int-assert optional_intervals optimize_simplifybool optalcp-sol-callback opb_writer opb_dataset only_regular only_impl_speedup ocus_tools observer_pattern nurserostering_benchmark numpy-in-Table numexpr_obj_test no_inline_import no_end_cumulative new-solver/optal-cp negative_duration_scheduling negation_before_decompose ndvar_getitem native_mus_test native_model nandorsieben-transversals_example mypy_variables mypy_strict_comparison mypy_overload mypy_oper_init mypy_operator mypy_ndvararray mypy_minmax mypy_minimal mypy_glob_funcs mypy_globfunc mypy_globcon_init mypy_gh_action mypy_expr_init4 mypy_abs_pow MUS_optimisation multiplication multi-instance-tuner-verbose multi-instance-tuner multidim_index_hotfix multi_dim_element_optimisation Multi-Dim-Element modern-stepwise-explain modernize-hyperparam missing_xor_normalize missing_user_vars miplib min_max_bug minizinc_installed_subsolver mdd_reduce mdd_global_constraint linearize_sub linearize_reif_vars linearize-power linearize_mul linearize_modulo_cst linearize-fix linearize_doc lex_chain_test latest jsp-generator io int2bool_transform indomain-second-arg import_star ignace_halreif2 ignace_halfreif ignace_allocation IfthenelseNum hexaly_license_check hexaly_fixes hexaly_callback hbierlee/issue627 has_subexpr_recursive gurobi_linearize_division gurobi_licence_check gurobi-improved-mus gnureadline_typo globals_pow_and_mod global_name_as_cls_attr gh_actions_seperate_runners gcs_timelimit gcs_optimal fuzz_precedence floatsum fix/xcsp3-analysis-all-na fix_warnings fix/upgrade-pindakaas fix_test_warnings fix/tests-with-no-extras fix/support-regular-for-minizinc fix/remove-gurobi-iis-todo fix/re-enable-bva fix/read-integers-issue-858 fix/pin-pumpkin-version fix_not_in_decompose fix_inverse_decomp fix-hexaly-callback fix_gurobi_objective fix/fix-verbose-passing-xcsp3 fix/examples_corrections fix_eval_comparison fix_empty_clause_gcs fix/duplicate_domain_constraints fix_cse_only_numexpr_eq fix_canonical_comparison fix/bump-copyright fix/bug810-handle-pdk-unsat-with-conditions fix/all-sols-or-tools fix/708-improve-element-doc fix/643 fix/617 feature/use-env-shebangs feature/support-pysat-native-card feature/refactor-unit-test feature/refactor-int2bool-and-pysat feature/pindakaas-0.2 feature/mus-scip feature/mus-highs feature/mus_cpo feature/mus_cplex feature/improve_int2bool_cse feature/improve-example-testing feature/improve-dimacs-read feature/fix-version-methods feature/expand-to-cnf feature/distribute-tests feature/delete-solver-objects feature/check_infeasible_constraints feature/align-cp-sum-with-python-sum feature/add-to-gcnf-transformation-and-writer feature/add-test-coverage feature/add-pindakaas-sat feature/add-mus-iis feature/additional-solver-interface-tests feature/add-grb-expression-trees-refactor feature/add-grb-expression-trees feature/add-aspirational-reification-tests feature/account-for-transformation-time fast_path_solver_var faster_flatten extra-require expr_eq_var_in_csemap explanations-timouts exampl_flexjob error-messages ensure_linear_alldiff_decomp element_bool_mask docstring_template docs_transformations docs_theme docs_solvers docs-search_info doc_slv_upd docs_index_scip docs_api_quickstart_page doc_capabilities dimacs_tempfile developer_guide description_fixes decomp_typed decompose_linear decompose_global_func datasets_metadata datasets dataset_core cvc5_solver custom_cse cuopt-solver cumulative_subexpr cse_local cse_ib cse_custom cpo_support_exprs_in_scheduling_cons cp_optimizer cpmpy_cli cpm_array_order cplex_solver_quadratic_objectives cplex_solver cplex_solveall_status cplex_non_convex_qcp convert_assumptions_to_list constructor_simplifications consistent_version_check complex_sudoku_examples code_formatting choco_no030 choco_int_star check-pytest check_for_bool_conversion changelog_recovery changelog_format car_sequencing_index canon-ineq boolean_constant_in_wsum blocks_world better_error_python_builtins benchmark_datasets avoid_np_value all-should-return-expressions alldiff_lin_const add-missing-csplib-examples adding_hexaly abs_none abs_decomp_optimise 699-alldifferentexcept0-with-a-list-containing-multiple-0s-similarly-alldifferentexceptn 637-refactor-testing-suite 558-reporting-intermediate-solutions 0.9.29 0.9.28 0.9.27 0.9.26 0.10.1 0.10.0