LICENSE.md
README.md
pyproject.toml
NuCS.egg-info/PKG-INFO
NuCS.egg-info/SOURCES.txt
NuCS.egg-info/dependency_links.txt
NuCS.egg-info/entry_points.txt
NuCS.egg-info/requires.txt
NuCS.egg-info/top_level.txt
nucs/__init__.py
nucs/buckets.py
nucs/constants.py
nucs/numba_helper.py
nucs/examples/__init__.py
nucs/examples/default_argument_parser.py
nucs/examples/all_interval_series/__init__.py
nucs/examples/all_interval_series/__main__.py
nucs/examples/all_interval_series/all_interval_series_problem.py
nucs/examples/alphanumeric/__init__.py
nucs/examples/alphanumeric/__main__.py
nucs/examples/alphanumeric/alphanumeric_problem.py
nucs/examples/bacp/__init__.py
nucs/examples/bacp/__main__.py
nucs/examples/bacp/bacp_problem.py
nucs/examples/bibd/__init__.py
nucs/examples/bibd/__main__.py
nucs/examples/bibd/bibd_problem.py
nucs/examples/car_sequencing/__init__.py
nucs/examples/car_sequencing/__main__.py
nucs/examples/car_sequencing/car_sequencing_problem.py
nucs/examples/cryptarithmetic/__init__.py
nucs/examples/cryptarithmetic/__main__.py
nucs/examples/cryptarithmetic/cryptarithmetic_problem.py
nucs/examples/employee_scheduling/__init__.py
nucs/examples/employee_scheduling/__main__.py
nucs/examples/employee_scheduling/employee_scheduling_problem.py
nucs/examples/golomb/__init__.py
nucs/examples/golomb/__main__.py
nucs/examples/golomb/golomb_problem.py
nucs/examples/knapsack/__init__.py
nucs/examples/knapsack/__main__.py
nucs/examples/knapsack/knapsack_problem.py
nucs/examples/langford/__init__.py
nucs/examples/langford/__main__.py
nucs/examples/langford/langford_problem.py
nucs/examples/latin_square/__init__.py
nucs/examples/latin_square/__main__.py
nucs/examples/magic_sequence/__init__.py
nucs/examples/magic_sequence/__main__.py
nucs/examples/magic_sequence/magic_sequence_problem.py
nucs/examples/magic_square/__init__.py
nucs/examples/magic_square/__main__.py
nucs/examples/magic_square/magic_square_problem.py
nucs/examples/quasigroup/__init__.py
nucs/examples/quasigroup/__main__.py
nucs/examples/quasigroup/quasigroup_problem.py
nucs/examples/queens/__init__.py
nucs/examples/queens/__main__.py
nucs/examples/queens/queens_problem.py
nucs/examples/schur_lemma/__init__.py
nucs/examples/schur_lemma/__main__.py
nucs/examples/schur_lemma/schur_lemma_problem.py
nucs/examples/social_golfers/__init__.py
nucs/examples/social_golfers/__main__.py
nucs/examples/social_golfers/social_golfers_problem.py
nucs/examples/sports_tournament_scheduling/__init__.py
nucs/examples/sports_tournament_scheduling/__main__.py
nucs/examples/sports_tournament_scheduling/sports_tournament_scheduling_problem.py
nucs/examples/sudoku/__init__.py
nucs/examples/sudoku/__main__.py
nucs/examples/sudoku/sudoku_problem.py
nucs/examples/tsp/__init__.py
nucs/examples/tsp/__main__.py
nucs/examples/tsp/total_cost_propagator.py
nucs/examples/tsp/tsp_problem.py
nucs/examples/tsp/tsp_var_heuristic.py
nucs/fzn/README.md
nucs/fzn/__init__.py
nucs/fzn/__main__.py
nucs/fzn/builtins.py
nucs/fzn/errors.py
nucs/fzn/model.py
nucs/fzn/output.py
nucs/fzn/parser.py
nucs/fzn/register.py
nucs/fzn/runner.py
nucs/fzn/share/nucs.msc
nucs/fzn/share/minizinc/nucs/fzn_all_different_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_circuit.mzn
nucs/fzn/share/minizinc/nucs/fzn_count_eq.mzn
nucs/fzn/share/minizinc/nucs/fzn_count_geq.mzn
nucs/fzn/share/minizinc/nucs/fzn_count_leq.mzn
nucs/fzn/share/minizinc/nucs/fzn_global_cardinality_low_up.mzn
nucs/fzn/share/minizinc/nucs/fzn_increasing_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_inverse.mzn
nucs/fzn/share/minizinc/nucs/fzn_lex_less_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_lex_lesseq_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_nvalue.mzn
nucs/fzn/share/minizinc/nucs/fzn_strictly_increasing_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_subcircuit.mzn
nucs/fzn/share/minizinc/nucs/fzn_table_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_value_precede_chain_int.mzn
nucs/fzn/share/minizinc/nucs/fzn_value_precede_int.mzn
nucs/fzn/share/minizinc/nucs/redefinitions.mzn
nucs/heuristics/__init__.py
nucs/heuristics/first_not_instantiated_var_heuristic.py
nucs/heuristics/greatest_domain_var_heuristic.py
nucs/heuristics/heuristics.py
nucs/heuristics/largest_maximal_value_var_heuristic.py
nucs/heuristics/max_regret_var_heuristic.py
nucs/heuristics/max_value_dom_heuristic.py
nucs/heuristics/mid_value_dom_heuristic.py
nucs/heuristics/min_cost_dom_heuristic.py
nucs/heuristics/min_value_dom_heuristic.py
nucs/heuristics/smallest_domain_var_heuristic.py
nucs/heuristics/smallest_minimal_value_var_heuristic.py
nucs/heuristics/split_high_dom_heuristic.py
nucs/heuristics/split_low_dom_heuristic.py
nucs/heuristics/split_random_dom_heuristic.py
nucs/heuristics/value_dom_heuristic.py
nucs/problems/__init__.py
nucs/problems/circuit_problem.py
nucs/problems/latin_square_problem.py
nucs/problems/permutation_problem.py
nucs/problems/problem.py
nucs/propagators/__init__.py
nucs/propagators/abs_eq_propagator.py
nucs/propagators/add_c_eq_propagator.py
nucs/propagators/alldifferent_propagator.py
nucs/propagators/and_eq_propagator.py
nucs/propagators/count_eq_c_propagator.py
nucs/propagators/count_eq_propagator.py
nucs/propagators/count_geq_c_propagator.py
nucs/propagators/count_leq_c_propagator.py
nucs/propagators/dummy_propagator.py
nucs/propagators/element_eq_propagator.py
nucs/propagators/element_l_eq_alldifferent_propagator.py
nucs/propagators/element_l_eq_c_alldifferent_propagator.py
nucs/propagators/element_l_eq_c_propagator.py
nucs/propagators/element_l_eq_propagator.py
nucs/propagators/eq_c_reif_propagator.py
nucs/propagators/eq_propagator.py
nucs/propagators/eq_reif_propagator.py
nucs/propagators/gcc_propagator.py
nucs/propagators/increasing_propagator.py
nucs/propagators/inverse_propagator.py
nucs/propagators/leq_c_propagator.py
nucs/propagators/leq_c_reif_propagator.py
nucs/propagators/lexleq_propagator.py
nucs/propagators/linear_eq_c_propagator.py
nucs/propagators/linear_geq_c_propagator.py
nucs/propagators/linear_leq_c_propagator.py
nucs/propagators/linear_neq_c_propagator.py
nucs/propagators/max_eq_propagator.py
nucs/propagators/max_leq_propagator.py
nucs/propagators/member_propagator.py
nucs/propagators/min_eq_propagator.py
nucs/propagators/min_geq_propagator.py
nucs/propagators/mul_c_eq_propagator.py
nucs/propagators/mul_eq_propagator.py
nucs/propagators/neq_propagator.py
nucs/propagators/neq_reif_propagator.py
nucs/propagators/no_sub_cycle_propagator.py
nucs/propagators/nvalue_propagator.py
nucs/propagators/propagators.py
nucs/propagators/relation_propagator.py
nucs/propagators/scc_propagator.py
nucs/propagators/strictly_increasing_propagator.py
nucs/propagators/subcircuit_propagator.py
nucs/propagators/sum_eq_c_propagator.py
nucs/propagators/sum_eq_propagator.py
nucs/propagators/sum_geq_c_propagator.py
nucs/propagators/sum_leq_c_propagator.py
nucs/propagators/value_precede_propagator.py
nucs/solvers/__init__.py
nucs/solvers/backtrack_solver.py
nucs/solvers/bound_consistency_algorithm.py
nucs/solvers/choice_points.py
nucs/solvers/consistency_algorithms.py
nucs/solvers/multiprocessing_solver.py
nucs/solvers/queue_solver.py
nucs/solvers/shaving_consistency_algorithm.py
nucs/solvers/solver.py
tests/test_buckets.py