Skip to main content
hex
preview
Search
preview
fixpoint
0.20.6
hex.pm
Change color theme
Light
Dark
System
Select File
.formatter.exs
LICENSE
README.md
data/bin_packing/LICENSE
data/bin_packing/README
data/bin_packing/bin_packing.zip
data/bin_packing/bin_packing/BinPacking.cs
data/bin_packing/bin_packing/BinPacking.java
data/bin_packing/bin_packing/bin_packing.cpp
data/bin_packing/bin_packing/bin_packing.hxm
data/bin_packing/bin_packing/bin_packing.py
data/bin_packing/bin_packing/instances/t120_00.txt
data/bin_packing/bin_packing/instances/t120_01.txt
data/bin_packing/bin_packing/instances/t120_02.txt
data/bin_packing/bin_packing/instances/t120_03.txt
data/bin_packing/bin_packing/instances/t120_04.txt
data/bin_packing/bin_packing/instances/t120_05.txt
data/bin_packing/bin_packing/instances/t120_06.txt
data/bin_packing/bin_packing/instances/t120_07.txt
data/bin_packing/bin_packing/instances/t120_08.txt
data/bin_packing/bin_packing/instances/t120_09.txt
data/bin_packing/bin_packing/instances/t120_10.txt
data/bin_packing/bin_packing/instances/t120_11.txt
data/bin_packing/bin_packing/instances/t120_12.txt
data/bin_packing/bin_packing/instances/t120_13.txt
data/bin_packing/bin_packing/instances/t120_14.txt
data/bin_packing/bin_packing/instances/t120_15.txt
data/bin_packing/bin_packing/instances/t120_16.txt
data/bin_packing/bin_packing/instances/t120_17.txt
data/bin_packing/bin_packing/instances/t120_18.txt
data/bin_packing/bin_packing/instances/t120_19.txt
data/bin_packing/bin_packing/instances/t249_00.txt
data/bin_packing/bin_packing/instances/t249_01.txt
data/bin_packing/bin_packing/instances/t249_02.txt
data/bin_packing/bin_packing/instances/t249_03.txt
data/bin_packing/bin_packing/instances/t249_04.txt
data/bin_packing/bin_packing/instances/t249_05.txt
data/bin_packing/bin_packing/instances/t249_06.txt
data/bin_packing/bin_packing/instances/t249_07.txt
data/bin_packing/bin_packing/instances/t249_08.txt
data/bin_packing/bin_packing/instances/t249_09.txt
data/bin_packing/bin_packing/instances/t249_10.txt
data/bin_packing/bin_packing/instances/t249_11.txt
data/bin_packing/bin_packing/instances/t249_12.txt
data/bin_packing/bin_packing/instances/t249_13.txt
data/bin_packing/bin_packing/instances/t249_14.txt
data/bin_packing/bin_packing/instances/t249_15.txt
data/bin_packing/bin_packing/instances/t249_16.txt
data/bin_packing/bin_packing/instances/t249_17.txt
data/bin_packing/bin_packing/instances/t249_18.txt
data/bin_packing/bin_packing/instances/t249_19.txt
data/bin_packing/bin_packing/instances/t501_00.txt
data/bin_packing/bin_packing/instances/t501_01.txt
data/bin_packing/bin_packing/instances/t501_02.txt
data/bin_packing/bin_packing/instances/t501_03.txt
data/bin_packing/bin_packing/instances/t501_04.txt
data/bin_packing/bin_packing/instances/t501_05.txt
data/bin_packing/bin_packing/instances/t501_06.txt
data/bin_packing/bin_packing/instances/t501_07.txt
data/bin_packing/bin_packing/instances/t501_08.txt
data/bin_packing/bin_packing/instances/t501_09.txt
data/bin_packing/bin_packing/instances/t501_10.txt
data/bin_packing/bin_packing/instances/t501_11.txt
data/bin_packing/bin_packing/instances/t501_12.txt
data/bin_packing/bin_packing/instances/t501_13.txt
data/bin_packing/bin_packing/instances/t501_14.txt
data/bin_packing/bin_packing/instances/t501_15.txt
data/bin_packing/bin_packing/instances/t501_16.txt
data/bin_packing/bin_packing/instances/t501_17.txt
data/bin_packing/bin_packing/instances/t501_18.txt
data/bin_packing/bin_packing/instances/t501_19.txt
data/bin_packing/bin_packing/instances/t60_00.txt
data/bin_packing/bin_packing/instances/t60_01.txt
data/bin_packing/bin_packing/instances/t60_02.txt
data/bin_packing/bin_packing/instances/t60_03.txt
data/bin_packing/bin_packing/instances/t60_04.txt
data/bin_packing/bin_packing/instances/t60_05.txt
data/bin_packing/bin_packing/instances/t60_06.txt
data/bin_packing/bin_packing/instances/t60_07.txt
data/bin_packing/bin_packing/instances/t60_08.txt
data/bin_packing/bin_packing/instances/t60_09.txt
data/bin_packing/bin_packing/instances/t60_10.txt
data/bin_packing/bin_packing/instances/t60_11.txt
data/bin_packing/bin_packing/instances/t60_12.txt
data/bin_packing/bin_packing/instances/t60_13.txt
data/bin_packing/bin_packing/instances/t60_14.txt
data/bin_packing/bin_packing/instances/t60_15.txt
data/bin_packing/bin_packing/instances/t60_16.txt
data/bin_packing/bin_packing/instances/t60_17.txt
data/bin_packing/bin_packing/instances/t60_18.txt
data/bin_packing/bin_packing/instances/t60_19.txt
data/bin_packing/bin_packing/instances/u1000_00.txt
data/bin_packing/bin_packing/instances/u1000_01.txt
data/bin_packing/bin_packing/instances/u1000_02.txt
data/bin_packing/bin_packing/instances/u1000_03.txt
data/bin_packing/bin_packing/instances/u1000_04.txt
data/bin_packing/bin_packing/instances/u1000_05.txt
data/bin_packing/bin_packing/instances/u1000_06.txt
data/bin_packing/bin_packing/instances/u1000_07.txt
data/bin_packing/bin_packing/instances/u1000_08.txt
data/bin_packing/bin_packing/instances/u1000_09.txt
data/bin_packing/bin_packing/instances/u1000_10.txt
data/bin_packing/bin_packing/instances/u1000_11.txt
data/bin_packing/bin_packing/instances/u1000_12.txt
data/bin_packing/bin_packing/instances/u1000_13.txt
data/bin_packing/bin_packing/instances/u1000_14.txt
data/bin_packing/bin_packing/instances/u1000_15.txt
data/bin_packing/bin_packing/instances/u1000_16.txt
data/bin_packing/bin_packing/instances/u1000_17.txt
data/bin_packing/bin_packing/instances/u1000_18.txt
data/bin_packing/bin_packing/instances/u1000_19.txt
data/bin_packing/bin_packing/instances/u120_00.txt
data/bin_packing/bin_packing/instances/u120_01.txt
data/bin_packing/bin_packing/instances/u120_02.txt
data/bin_packing/bin_packing/instances/u120_03.txt
data/bin_packing/bin_packing/instances/u120_04.txt
data/bin_packing/bin_packing/instances/u120_05.txt
data/bin_packing/bin_packing/instances/u120_06.txt
data/bin_packing/bin_packing/instances/u120_07.txt
data/bin_packing/bin_packing/instances/u120_08.txt
data/bin_packing/bin_packing/instances/u120_09.txt
data/bin_packing/bin_packing/instances/u120_10.txt
data/bin_packing/bin_packing/instances/u120_11.txt
data/bin_packing/bin_packing/instances/u120_12.txt
data/bin_packing/bin_packing/instances/u120_13.txt
data/bin_packing/bin_packing/instances/u120_14.txt
data/bin_packing/bin_packing/instances/u120_15.txt
data/bin_packing/bin_packing/instances/u120_16.txt
data/bin_packing/bin_packing/instances/u120_17.txt
data/bin_packing/bin_packing/instances/u120_18.txt
data/bin_packing/bin_packing/instances/u120_19.txt
data/bin_packing/bin_packing/instances/u250_00.txt
data/bin_packing/bin_packing/instances/u250_01.txt
data/bin_packing/bin_packing/instances/u250_02.txt
data/bin_packing/bin_packing/instances/u250_03.txt
data/bin_packing/bin_packing/instances/u250_04.txt
data/bin_packing/bin_packing/instances/u250_05.txt
data/bin_packing/bin_packing/instances/u250_06.txt
data/bin_packing/bin_packing/instances/u250_07.txt
data/bin_packing/bin_packing/instances/u250_08.txt
data/bin_packing/bin_packing/instances/u250_09.txt
data/bin_packing/bin_packing/instances/u250_10.txt
data/bin_packing/bin_packing/instances/u250_11.txt
data/bin_packing/bin_packing/instances/u250_12.txt
data/bin_packing/bin_packing/instances/u250_13.txt
data/bin_packing/bin_packing/instances/u250_14.txt
data/bin_packing/bin_packing/instances/u250_15.txt
data/bin_packing/bin_packing/instances/u250_16.txt
data/bin_packing/bin_packing/instances/u250_17.txt
data/bin_packing/bin_packing/instances/u250_18.txt
data/bin_packing/bin_packing/instances/u250_19.txt
data/bin_packing/bin_packing/instances/u500_00.txt
data/bin_packing/bin_packing/instances/u500_01.txt
data/bin_packing/bin_packing/instances/u500_02.txt
data/bin_packing/bin_packing/instances/u500_03.txt
data/bin_packing/bin_packing/instances/u500_04.txt
data/bin_packing/bin_packing/instances/u500_05.txt
data/bin_packing/bin_packing/instances/u500_06.txt
data/bin_packing/bin_packing/instances/u500_07.txt
data/bin_packing/bin_packing/instances/u500_08.txt
data/bin_packing/bin_packing/instances/u500_09.txt
data/bin_packing/bin_packing/instances/u500_10.txt
data/bin_packing/bin_packing/instances/u500_11.txt
data/bin_packing/bin_packing/instances/u500_12.txt
data/bin_packing/bin_packing/instances/u500_13.txt
data/bin_packing/bin_packing/instances/u500_14.txt
data/bin_packing/bin_packing/instances/u500_15.txt
data/bin_packing/bin_packing/instances/u500_16.txt
data/bin_packing/bin_packing/instances/u500_17.txt
data/bin_packing/bin_packing/instances/u500_18.txt
data/bin_packing/bin_packing/instances/u500_19.txt
data/bin_packing/bin_packing_experimental.mzn
data/bin_packing/gecode_examples/gecode_doc_example.txt
data/bin_packing/gecode_examples/int n3c1w1_a_200.txt
data/bin_packing/gecode_examples/t120_00.txt
data/bin_packing/gecode_examples/t60_00.txt
data/bin_packing/misc/falkenauer_u120_00
data/bin_packing/p01/p01_c.txt
data/bin_packing/p01/p01_s.txt
data/bin_packing/p01/p01_w.txt
data/bin_packing/p02/p02_c.txt
data/bin_packing/p02/p02_s.txt
data/bin_packing/p02/p02_w.txt
data/bin_packing/p03/p03_c.txt
data/bin_packing/p03/p03_s.txt
data/bin_packing/p03/p03_w.txt
data/bin_packing/p04/p04_c.txt
data/bin_packing/p04/p04_s.txt
data/bin_packing/p04/p04_w.txt
data/graph_coloring/5_cycle
data/graph_coloring/gc_15_30_0
data/graph_coloring/gc_15_30_1
data/graph_coloring/gc_15_30_2
data/graph_coloring/gc_15_30_3
data/graph_coloring/gc_15_30_4
data/graph_coloring/gc_15_30_5
data/graph_coloring/gc_15_30_6
data/graph_coloring/gc_15_30_7
data/graph_coloring/gc_15_30_8
data/graph_coloring/gc_15_30_9
data/graph_coloring/p3
data/graph_coloring/p4
data/graph_coloring/paw
data/graph_coloring/petersen
data/graph_coloring/solution_numbers
data/graph_coloring/square
data/graph_coloring/triangle
data/knapsack/ks_10000_0
data/knapsack/ks_1000_0
data/knapsack/ks_100_0
data/knapsack/ks_100_1
data/knapsack/ks_100_2
data/knapsack/ks_106_0
data/knapsack/ks_19_0
data/knapsack/ks_200_0
data/knapsack/ks_200_1
data/knapsack/ks_300_0
data/knapsack/ks_30_0
data/knapsack/ks_400_0
data/knapsack/ks_40_0
data/knapsack/ks_45_0
data/knapsack/ks_4_0
data/knapsack/ks_500_0
data/knapsack/ks_50_0
data/knapsack/ks_50_1
data/knapsack/ks_60_0
data/knapsack/ks_82_0
data/minesweeper/minesweeper0.txt
data/minesweeper/minesweeper1.txt
data/minesweeper/minesweeper2.txt
data/minesweeper/minesweeper3.txt
data/minesweeper/minesweeper4.txt
data/minesweeper/minesweeper5.txt
data/minesweeper/minesweeper6.txt
data/minesweeper/minesweeper7.txt
data/minesweeper/minesweeper8.txt
data/minesweeper/minesweeper9.txt
data/minesweeper/minesweeper_config2.txt
data/minesweeper/minesweeper_config3.txt
data/minesweeper/minesweeper_kaye_splitter.txt
data/minesweeper/minesweeper_kaye_wire.txt
data/qap/had12.txt
data/qap/had14.txt
data/qap/nug25.txt
data/qap/nug25_opt1872.txt
data/qap/numbers
data/qap/qap12.txt
data/qap/qap12a_opt288.txt
data/qap/qap14_opt507.txt
data/qap/qap16_opt34.txt
data/qap/qap25.txt
data/qap/qap4.txt
data/qap/qap5.txt
data/qap/qap6.txt
data/qap/tai12a.txt
data/qap/tai25a_opt1167256.txt
data/queens/numbers
data/sat/uf100-01.cnf
data/sat/uf150-01.cnf
data/sat/uf50-01.cnf
data/sat/uuf100-01.cnf
data/sat/uuf150-01.cnf
data/sat/uuf50-01.cnf
data/sudoku/clue17
data/sudoku/hard
data/sudoku/hardest
data/sudoku/links
data/sudoku/misc
data/sudoku/puzzles5_forum_hardest_1905_11+
data/sudoku/quasi_uniform_834
data/sudoku/top95
data/tsp/numbers
data/tsp/tsp_101.txt
data/tsp/tsp_15.txt
data/tsp/tsp_17.txt
data/tsp/tsp_26.txt
data/tsp/tsp_4.txt
data/tsp/tsp_443.txt
data/tsp/tsp_4_asym.txt
data/tsp/tsp_61.txt
data/tsp/tsp_7.txt
data/tsp/tsp_81.txt
data/tsp/xkcd_np_tables.txt
lib/application.ex
lib/examples/bin_packing/bin_packing.ex
lib/examples/bin_packing/search.ex
lib/examples/bin_packing/upper_bound.ex
lib/examples/euler43.ex
lib/examples/graph_coloring.ex
lib/examples/hakank/all_intervals.ex
lib/examples/hakank/assignment.ex
lib/examples/hakank/coins_grid.ex
lib/examples/hakank/cp_utils.ex
lib/examples/hakank/least_diff.ex
lib/examples/hakank/minesweeper.ex
lib/examples/hakank/quasigroup_completion.ex
lib/examples/hakank/send_most_money.ex
lib/examples/hakank/seseman.ex
lib/examples/hakank/set_covering.ex
lib/examples/hakank/set_covering3.ex
lib/examples/hakank/set_covering_deployment.ex
lib/examples/hakank/subset_sum.ex
lib/examples/hakank/survo_puzzle.ex
lib/examples/knapsack.ex
lib/examples/quadratic_assignment.ex
lib/examples/queens.ex
lib/examples/reindeers.ex
lib/examples/send_more_money.ex
lib/examples/stable_marriage.ex
lib/examples/sudoku.ex
lib/examples/tsp.ex
lib/examples/utils.ex
lib/examples/xkcd_np.ex
lib/examples/zebra.ex
lib/solver/common/common.ex
lib/solver/constraints/abs.ex
lib/solver/constraints/all_different/all_different_bc.ex
lib/solver/constraints/all_different/all_different_binary.ex
lib/solver/constraints/all_different/all_different_combined.ex
lib/solver/constraints/all_different/all_different_dc.ex
lib/solver/constraints/all_different/all_different_dc_fast.ex
lib/solver/constraints/all_different/all_different_default.ex
lib/solver/constraints/all_different/all_different_fwc.ex
lib/solver/constraints/channel.ex
lib/solver/constraints/circuit.ex
lib/solver/constraints/constraint_factory.ex
lib/solver/constraints/count.ex
lib/solver/constraints/element.ex
lib/solver/constraints/element2d.ex
lib/solver/constraints/element_var.ex
lib/solver/constraints/equal.ex
lib/solver/constraints/inverse.ex
lib/solver/constraints/less.ex
lib/solver/constraints/less_or_equal.ex
lib/solver/constraints/maximum.ex
lib/solver/constraints/minimum.ex
lib/solver/constraints/modulo.ex
lib/solver/constraints/not_equal.ex
lib/solver/constraints/or.ex
lib/solver/constraints/propagators/abs.ex
lib/solver/constraints/propagators/all_different/all_different_bc.ex
lib/solver/constraints/propagators/all_different/all_different_dc.ex
lib/solver/constraints/propagators/all_different/all_different_dc_fast.ex
lib/solver/constraints/propagators/all_different/all_different_fwc.ex
lib/solver/constraints/propagators/all_different/alldiff_utils.ex
lib/solver/constraints/propagators/all_different/zhang.ex
lib/solver/constraints/propagators/channel.ex
lib/solver/constraints/propagators/circuit.ex
lib/solver/constraints/propagators/element2d.ex
lib/solver/constraints/propagators/element_var.ex
lib/solver/constraints/propagators/equal.ex
lib/solver/constraints/propagators/less.ex
lib/solver/constraints/propagators/less_or_equal.ex
lib/solver/constraints/propagators/maximum.ex
lib/solver/constraints/propagators/minimum.ex
lib/solver/constraints/propagators/modulo.ex
lib/solver/constraints/propagators/not_equal.ex
lib/solver/constraints/propagators/or.ex
lib/solver/constraints/propagators/reified.ex
lib/solver/constraints/propagators/sum.ex
lib/solver/constraints/propagators/sum2.ex
lib/solver/constraints/reified.ex
lib/solver/constraints/sum.ex
lib/solver/core/constraint.ex
lib/solver/core/distributed.ex
lib/solver/core/propagator/constraint_graph.ex
lib/solver/core/propagator/propagator.ex
lib/solver/core/propagator/propagator_variable.ex
lib/solver/core/shared.ex
lib/solver/core/solver.ex
lib/solver/domain/bitvector_domain.ex
lib/solver/domain/default_domain.ex
lib/solver/domain/packed_min_max.ex
lib/solver/model/model.ex
lib/solver/objective/objective.ex
lib/solver/objective/objective_propagator.ex
lib/solver/search/search.ex
lib/solver/search/strategy/brancher/brancher.ex
lib/solver/search/strategy/partition.ex
lib/solver/search/strategy/value/indomain_max.ex
lib/solver/search/strategy/value/indomain_min.ex
lib/solver/search/strategy/value/indomain_random.ex
lib/solver/search/strategy/value/indomain_split.ex
lib/solver/search/strategy/value/value_selector.ex
lib/solver/search/strategy/variable/local/dom_deg.ex
lib/solver/search/strategy/variable/local/first_fail.ex
lib/solver/search/strategy/variable/local/input_order.ex
lib/solver/search/strategy/variable/local/max_regret.ex
lib/solver/search/strategy/variable/local/most_completed.ex
lib/solver/search/strategy/variable/local/most_constrained.ex
lib/solver/search/strategy/variable/shared/action.ex
lib/solver/search/strategy/variable/shared/afc.ex
lib/solver/search/strategy/variable/shared/chb.ex
lib/solver/search/strategy/variable/variable_selector.ex
lib/solver/search/utils.ex
lib/solver/solution/solution.ex
lib/solver/space/propagation.ex
lib/solver/space/space.ex
lib/solver/space/thread_pool.ex
lib/solver/variables/api_impl.ex
lib/solver/variables/api_interface.ex
lib/solver/variables/bool_variable.ex
lib/solver/variables/int_variable.ex
lib/solver/variables/unfixed_tracker.ex
lib/solver/variables/value_graph.ex
lib/solver/variables/variable.ex
lib/solver/variables/view.ex
lib/utils/bit_utils.ex
lib/utils/mutable_array.ex
lib/utils/mutable_order.ex
lib/utils/tuple_array.ex
lib/utils/utils.ex
lib/utils/vector.ex
mix.exs
src/domain_bit_vector.erl
test/constraints/abs_test.exs
test/constraints/all_different/all_different_bc_test.exs
test/constraints/all_different/all_different_binary_test.exs
test/constraints/all_different/all_different_dc_fast_test.exs
test/constraints/all_different/all_different_dc_test.exs
test/constraints/all_different/all_different_fwc_test.exs
test/constraints/all_different/utils_test.exs
test/constraints/arithmetics_test.exs
test/constraints/channel_test.exs
test/constraints/circuit_test.exs
test/constraints/count_test.exs
test/constraints/element_test.exs
test/constraints/equal_test.exs
test/constraints/inverse_test.exs
test/constraints/less_or_equal_test.exs
test/constraints/maximum_test.exs
test/constraints/minimum_test.exs
test/constraints/modulo_test.exs
test/constraints/or_test.exs
test/constraints/reified_test.exs
test/constraints/sum_test.exs
test/domain/mutable_domain_test.exs
test/examples/bin_packing_test.exs
test/examples/graph_coloring_test.exs
test/examples/knapsack_test.exs
test/examples/quadratic_assignment_test.exs
test/examples/queens_test.exs
test/examples/reindeers_test.exs
test/examples/send_more_money_test.exs
test/examples/stable_marriage_test.exs
test/examples/sudoku_test.exs
test/examples/tsp_test.exs
test/examples/zebra_test.exs
test/model/model_test.exs
test/objective/objective_test.exs
test/propagators/abs_test.exs
test/propagators/all_different/all_different_bc_test.exs
test/propagators/all_different/all_different_dc_fast_test.exs
test/propagators/all_different/all_different_dc_test.exs
test/propagators/all_different/all_different_fwc_test.exs
test/propagators/circuit_test.exs
test/propagators/constraint_graph_test.exs
test/propagators/element/element2d_test.exs
test/propagators/less_or_equal_test.exs
test/propagators/maximum_test.exs
test/propagators/modulo_test.exs
test/propagators/not_equal_test.exs
test/propagators/propagator_test.exs
test/propagators/sum_test.exs
test/search/afc_test.exs
test/search/brancher_test.exs
test/search/search_strategy_test.exs
test/solver/cpsolver_test.exs
test/solver/distributed_test.exs
test/solver/shared_test.exs
test/space/space_propagation_test.exs
test/space/thread_pool_test.exs
test/test_helper.exs
test/utils/mutable_array_test.exs
test/variables/interface_test.exs
test/variables/value_graph_test.exs
test/variables/view_test.exs
lib/application.ex
defmodule
CPSolver.Application
do
def
start
(
:normal
,
[
]
)
do
{
:ok
,
self
(
)
}
end
end