├── .gitattributes ├── .github ├── dependabot.yml └── workflows │ ├── docs.yml │ ├── format.yml │ ├── package.yml │ └── test.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── clippy.toml ├── crates ├── huub-cli │ ├── .gitignore │ ├── Cargo.toml │ ├── benches │ │ └── flatzinc_bench.rs │ ├── corpus │ │ ├── README.md │ │ ├── amaze3_2012_03_19.fzn.json │ │ ├── amaze3_2012_03_19.sol │ │ ├── array_var_int_element.fzn.json │ │ ├── array_var_int_element.sol │ │ ├── bool_indomain_max.fzn.json │ │ ├── bool_indomain_max.mzn │ │ ├── bool_indomain_max.sol │ │ ├── bool_indomain_min.fzn.json │ │ ├── bool_indomain_min.mzn │ │ ├── bool_indomain_min.sol │ │ ├── ccmcp_3_20_0.fzn.json │ │ ├── ccmcp_3_20_0.sol │ │ ├── int_indomain_max_1.fzn.json │ │ ├── int_indomain_max_1.mzn │ │ ├── int_indomain_max_1.sol │ │ ├── int_indomain_max_2.fzn.json │ │ ├── int_indomain_max_2.mzn │ │ ├── int_indomain_max_2.sol │ │ ├── int_indomain_max_3.fzn.json │ │ ├── int_indomain_max_3.mzn │ │ ├── int_indomain_max_3.sol │ │ ├── int_indomain_max_4.fzn.json │ │ ├── int_indomain_max_4.mzn │ │ ├── int_indomain_max_4.sol │ │ ├── int_indomain_max_5.fzn.json │ │ ├── int_indomain_max_5.mzn │ │ ├── int_indomain_max_5.sol │ │ ├── int_indomain_min_1.fzn.json │ │ ├── int_indomain_min_1.mzn │ │ ├── int_indomain_min_1.sol │ │ ├── int_indomain_min_2.fzn.json │ │ ├── int_indomain_min_2.mzn │ │ ├── int_indomain_min_2.sol │ │ ├── int_indomain_min_3.fzn.json │ │ ├── int_indomain_min_3.mzn │ │ ├── int_indomain_min_3.sol │ │ ├── int_indomain_min_4.fzn.json │ │ ├── int_indomain_min_4.mzn │ │ ├── int_indomain_min_4.sol │ │ ├── int_indomain_min_5.fzn.json │ │ ├── int_indomain_min_5.mzn │ │ ├── int_indomain_min_5.sol │ │ ├── int_lin_eq_prop.fzn.json │ │ ├── jobshop_la02.fzn.json │ │ ├── jobshop_la02.sol │ │ ├── jobshop_la03.fzn.json │ │ ├── jobshop_la03.sol │ │ ├── jobshop_la04.fzn.json │ │ ├── jobshop_la04.sol │ │ ├── jobshop_la05.fzn.json │ │ ├── jobshop_la05.sol │ │ ├── jobshop_newspaper.fzn.json │ │ ├── jobshop_newspaper.sol │ │ ├── mrcpsp_j10_10_1.fzn.json │ │ ├── mrcpsp_j10_10_1.sol │ │ ├── mrcpsp_j10_10_2.fzn.json │ │ ├── mrcpsp_j10_10_2.sol │ │ ├── mrcpsp_j10_10_3.fzn.json │ │ ├── mrcpsp_j10_10_3.sol │ │ ├── peaceable_queens_n5_q3.fzn.json │ │ ├── peaceable_queens_n5_q3.json │ │ ├── peaceable_queens_n5_q3.sol │ │ ├── portal_10_9_10.fzn.json │ │ ├── portal_10_9_10.sol │ │ ├── radiation_i6_9.fzn.json │ │ ├── radiation_i6_9.sol │ │ ├── radiation_i8_9.fzn.json │ │ ├── radiation_i8_9.sol │ │ ├── rcpsp_01.fzn.json │ │ ├── rcpsp_01.sol │ │ ├── rcpsp_02.fzn.json │ │ ├── rcpsp_02.sol │ │ ├── rcpsp_03.fzn.json │ │ ├── rcpsp_03.sol │ │ ├── recompile_mzn.py │ │ ├── seq_search_1.fzn.json │ │ ├── seq_search_1.mzn │ │ ├── seq_search_1.sol │ │ ├── seq_search_2.fzn.json │ │ ├── seq_search_2.mzn │ │ ├── seq_search_2.sol │ │ ├── seq_search_3.fzn.json │ │ ├── seq_search_3.mzn │ │ ├── seq_search_3.sol │ │ ├── seq_search_4.fzn.json │ │ ├── seq_search_4.mzn │ │ ├── seq_search_4.sol │ │ ├── simple_sum.fzn.json │ │ ├── simple_sum.sol │ │ ├── steiner_t3_k4_N8.fzn.json │ │ ├── steiner_t3_k4_N8.sol │ │ ├── steiner_t6_k6_N7.fzn.json │ │ ├── steiner_t6_k6_N7.sol │ │ ├── sudoku_p0.fzn.json │ │ ├── sudoku_p0.sol │ │ ├── sudoku_p48.fzn.json │ │ ├── sudoku_p48.sol │ │ ├── svrp_s4_v2_c3.fzn.json │ │ ├── svrp_s4_v2_c3.sol │ │ ├── unbounded.fzn.json │ │ ├── unbounded.sol │ │ ├── unification.fzn.json │ │ ├── unification.sol │ │ ├── unify_element_1.fzn.json │ │ ├── unify_element_1.sol │ │ ├── unify_element_2.fzn.json │ │ ├── unify_element_2.sol │ │ ├── unify_with_view_1.fzn.json │ │ ├── unify_with_view_1.sol │ │ ├── unify_with_view_2.fzn.json │ │ ├── unify_with_view_2.sol │ │ ├── unify_with_view_3.fzn.json │ │ ├── unify_with_view_3.sol │ │ ├── unify_with_view_4.fzn.json │ │ ├── unify_with_view_4.sol │ │ ├── warm_start_fail.fzn.json │ │ ├── warm_start_fail.sol │ │ ├── warm_start_in_seq_search.fzn.json │ │ ├── warm_start_in_seq_search.sol │ │ ├── warm_start_success.fzn.json │ │ └── warm_start_success.sol │ ├── src │ │ ├── lib.rs │ │ ├── main.rs │ │ └── trace.rs │ └── tests │ │ ├── flatzinc_tests.rs │ │ └── helpers │ │ └── mod.rs └── huub │ ├── .gitignore │ ├── Cargo.toml │ └── src │ ├── actions.rs │ ├── branchers.rs │ ├── constraints.rs │ ├── constraints │ ├── bool_array_element.rs │ ├── cumulative.rs │ ├── disjunctive_strict.rs │ ├── int_abs.rs │ ├── int_all_different.rs │ ├── int_array_element.rs │ ├── int_array_minimum.rs │ ├── int_div.rs │ ├── int_in_set.rs │ ├── int_linear.rs │ ├── int_pow.rs │ ├── int_table.rs │ ├── int_times.rs │ └── int_value_precede.rs │ ├── flatzinc.rs │ ├── helpers.rs │ ├── helpers │ ├── linear_transform.rs │ └── opt_field.rs │ ├── lib.rs │ ├── reformulate.rs │ ├── solver.rs │ ├── solver │ ├── activation_list.rs │ ├── bool_to_int.rs │ ├── engine.rs │ ├── initialization_context.rs │ ├── int_var.rs │ ├── queue.rs │ ├── solving_context.rs │ └── trail.rs │ └── tests.rs ├── docs ├── .gitignore ├── README.md ├── astro.config.mjs ├── package.json ├── pnpm-lock.yaml ├── public │ ├── favicon.ico │ └── logo.svg ├── src │ ├── assets │ │ └── .keep │ ├── content.config.ts │ ├── content │ │ └── docs │ │ │ ├── guides │ │ │ └── example.md │ │ │ ├── index.mdx │ │ │ └── reference │ │ │ └── example.md │ └── styles │ │ └── fonts.css └── tsconfig.json ├── rustfmt.toml └── share └── minizinc ├── huub ├── fzn_all_different_int.mzn ├── fzn_cumulative.mzn ├── fzn_disjunctive_strict.mzn ├── fzn_regular.mzn ├── fzn_seq_precede_chain_int.mzn ├── fzn_table_int.mzn ├── fzn_value_precede_chain_int.mzn ├── huub.mzn ├── redefinitions-2.0.mzn └── redefinitions.mzn └── solvers └── huub.msc /.gitattributes: -------------------------------------------------------------------------------- 1 | *.fzn.json linguist-generated 2 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/format.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/.github/workflows/format.yml -------------------------------------------------------------------------------- /.github/workflows/package.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/.github/workflows/package.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/README.md -------------------------------------------------------------------------------- /clippy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/clippy.toml -------------------------------------------------------------------------------- /crates/huub-cli/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /crates/huub-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/Cargo.toml -------------------------------------------------------------------------------- /crates/huub-cli/benches/flatzinc_bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/benches/flatzinc_bench.rs -------------------------------------------------------------------------------- /crates/huub-cli/corpus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/README.md -------------------------------------------------------------------------------- /crates/huub-cli/corpus/amaze3_2012_03_19.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/amaze3_2012_03_19.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/amaze3_2012_03_19.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/amaze3_2012_03_19.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/array_var_int_element.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/array_var_int_element.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/array_var_int_element.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/array_var_int_element.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/bool_indomain_max.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/bool_indomain_max.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/bool_indomain_max.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/bool_indomain_max.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/bool_indomain_max.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/bool_indomain_max.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/bool_indomain_min.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/bool_indomain_min.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/bool_indomain_min.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/bool_indomain_min.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/bool_indomain_min.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/bool_indomain_min.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/ccmcp_3_20_0.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/ccmcp_3_20_0.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/ccmcp_3_20_0.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/ccmcp_3_20_0.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_1.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_1.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_1.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_1.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_1.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_2.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_2.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_2.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_2.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_2.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_3.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_3.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_4.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_4.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_4.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_4.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_4.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_5.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_5.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_5.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_5.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_max_5.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_max_5.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_1.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_1.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_1.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_1.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_1.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_2.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_2.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_2.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_2.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_2.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_3.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_3.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_4.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_4.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_4.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_4.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_4.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_5.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_5.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_5.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_5.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_indomain_min_5.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_indomain_min_5.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/int_lin_eq_prop.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/int_lin_eq_prop.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la02.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la02.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la02.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la02.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la03.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la03.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la03.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la03.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la04.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la04.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la04.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la04.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la05.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la05.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_la05.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_la05.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_newspaper.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_newspaper.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/jobshop_newspaper.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/jobshop_newspaper.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/mrcpsp_j10_10_1.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/mrcpsp_j10_10_1.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/mrcpsp_j10_10_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/mrcpsp_j10_10_1.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/mrcpsp_j10_10_2.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/mrcpsp_j10_10_2.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/mrcpsp_j10_10_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/mrcpsp_j10_10_2.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/mrcpsp_j10_10_3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/mrcpsp_j10_10_3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/mrcpsp_j10_10_3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/mrcpsp_j10_10_3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/peaceable_queens_n5_q3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/peaceable_queens_n5_q3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/peaceable_queens_n5_q3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/peaceable_queens_n5_q3.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/peaceable_queens_n5_q3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/peaceable_queens_n5_q3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/portal_10_9_10.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/portal_10_9_10.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/portal_10_9_10.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/portal_10_9_10.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/radiation_i6_9.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/radiation_i6_9.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/radiation_i6_9.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/radiation_i6_9.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/radiation_i8_9.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/radiation_i8_9.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/radiation_i8_9.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/radiation_i8_9.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/rcpsp_01.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/rcpsp_01.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/rcpsp_01.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/rcpsp_01.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/rcpsp_02.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/rcpsp_02.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/rcpsp_02.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/rcpsp_02.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/rcpsp_03.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/rcpsp_03.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/rcpsp_03.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/rcpsp_03.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/recompile_mzn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/recompile_mzn.py -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_1.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_1.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_1.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_1.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_1.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_2.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_2.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_2.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_2.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_2.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_3.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_3.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_4.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_4.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_4.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_4.mzn -------------------------------------------------------------------------------- /crates/huub-cli/corpus/seq_search_4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/seq_search_4.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/simple_sum.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/simple_sum.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/simple_sum.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/simple_sum.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/steiner_t3_k4_N8.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/steiner_t3_k4_N8.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/steiner_t3_k4_N8.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/steiner_t3_k4_N8.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/steiner_t6_k6_N7.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/steiner_t6_k6_N7.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/steiner_t6_k6_N7.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/steiner_t6_k6_N7.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/sudoku_p0.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/sudoku_p0.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/sudoku_p0.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/sudoku_p0.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/sudoku_p48.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/sudoku_p48.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/sudoku_p48.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/sudoku_p48.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/svrp_s4_v2_c3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/svrp_s4_v2_c3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/svrp_s4_v2_c3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/svrp_s4_v2_c3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unbounded.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unbounded.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unbounded.sol: -------------------------------------------------------------------------------- 1 | x = -9223372036854775808; 2 | -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unification.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unification.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unification.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unification.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_element_1.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_element_1.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_element_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_element_1.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_element_2.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_element_2.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_element_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_element_2.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_1.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_1.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_1.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_2.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_2.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_2.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_3.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_3.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_3.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_4.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_4.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/unify_with_view_4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/unify_with_view_4.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/warm_start_fail.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/warm_start_fail.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/warm_start_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/warm_start_fail.sol -------------------------------------------------------------------------------- /crates/huub-cli/corpus/warm_start_in_seq_search.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/warm_start_in_seq_search.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/warm_start_in_seq_search.sol: -------------------------------------------------------------------------------- 1 | z = [2,-1,-2,1]; 2 | -------------------------------------------------------------------------------- /crates/huub-cli/corpus/warm_start_success.fzn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/corpus/warm_start_success.fzn.json -------------------------------------------------------------------------------- /crates/huub-cli/corpus/warm_start_success.sol: -------------------------------------------------------------------------------- 1 | x = [2,-1,0,-1]; 2 | -------------------------------------------------------------------------------- /crates/huub-cli/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/src/lib.rs -------------------------------------------------------------------------------- /crates/huub-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/src/main.rs -------------------------------------------------------------------------------- /crates/huub-cli/src/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/src/trace.rs -------------------------------------------------------------------------------- /crates/huub-cli/tests/flatzinc_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/tests/flatzinc_tests.rs -------------------------------------------------------------------------------- /crates/huub-cli/tests/helpers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub-cli/tests/helpers/mod.rs -------------------------------------------------------------------------------- /crates/huub/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /crates/huub/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/Cargo.toml -------------------------------------------------------------------------------- /crates/huub/src/actions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/actions.rs -------------------------------------------------------------------------------- /crates/huub/src/branchers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/branchers.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/bool_array_element.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/bool_array_element.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/cumulative.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/cumulative.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/disjunctive_strict.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/disjunctive_strict.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_abs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_abs.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_all_different.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_all_different.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_array_element.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_array_element.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_array_minimum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_array_minimum.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_div.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_in_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_in_set.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_linear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_linear.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_pow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_pow.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_table.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_times.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_times.rs -------------------------------------------------------------------------------- /crates/huub/src/constraints/int_value_precede.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/constraints/int_value_precede.rs -------------------------------------------------------------------------------- /crates/huub/src/flatzinc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/flatzinc.rs -------------------------------------------------------------------------------- /crates/huub/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/helpers.rs -------------------------------------------------------------------------------- /crates/huub/src/helpers/linear_transform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/helpers/linear_transform.rs -------------------------------------------------------------------------------- /crates/huub/src/helpers/opt_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/helpers/opt_field.rs -------------------------------------------------------------------------------- /crates/huub/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/lib.rs -------------------------------------------------------------------------------- /crates/huub/src/reformulate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/reformulate.rs -------------------------------------------------------------------------------- /crates/huub/src/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/activation_list.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/activation_list.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/bool_to_int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/bool_to_int.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/engine.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/engine.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/initialization_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/initialization_context.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/int_var.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/int_var.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/queue.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/solving_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/solving_context.rs -------------------------------------------------------------------------------- /crates/huub/src/solver/trail.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/solver/trail.rs -------------------------------------------------------------------------------- /crates/huub/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/crates/huub/src/tests.rs -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/astro.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/astro.config.mjs -------------------------------------------------------------------------------- /docs/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/package.json -------------------------------------------------------------------------------- /docs/pnpm-lock.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/pnpm-lock.yaml -------------------------------------------------------------------------------- /docs/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/public/favicon.ico -------------------------------------------------------------------------------- /docs/public/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/public/logo.svg -------------------------------------------------------------------------------- /docs/src/assets/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/src/content.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/src/content.config.ts -------------------------------------------------------------------------------- /docs/src/content/docs/guides/example.md: -------------------------------------------------------------------------------- 1 | --- 2 | title: Example Guide 3 | description: '' 4 | --- 5 | -------------------------------------------------------------------------------- /docs/src/content/docs/index.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/src/content/docs/index.mdx -------------------------------------------------------------------------------- /docs/src/content/docs/reference/example.md: -------------------------------------------------------------------------------- 1 | --- 2 | title: Example Reference 3 | description: '' 4 | --- 5 | -------------------------------------------------------------------------------- /docs/src/styles/fonts.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/src/styles/fonts.css -------------------------------------------------------------------------------- /docs/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/docs/tsconfig.json -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_all_different_int.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_all_different_int.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_cumulative.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_cumulative.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_disjunctive_strict.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_disjunctive_strict.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_regular.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_regular.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_seq_precede_chain_int.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_seq_precede_chain_int.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_table_int.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_table_int.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/fzn_value_precede_chain_int.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/fzn_value_precede_chain_int.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/huub.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/huub.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/redefinitions-2.0.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/redefinitions-2.0.mzn -------------------------------------------------------------------------------- /share/minizinc/huub/redefinitions.mzn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/huub/redefinitions.mzn -------------------------------------------------------------------------------- /share/minizinc/solvers/huub.msc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/huub-solver/huub/HEAD/share/minizinc/solvers/huub.msc --------------------------------------------------------------------------------