Indicator update best bound

[Wikunia]

I forgot to uncomment it :/

[codecov[bot]]

Codecov Report

Merging #175 into master will increase coverage by 0.04%. The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #175      +/-   ##
==========================================
+ Coverage   98.73%   98.77%   +0.04%     
==========================================
  Files          32       32              
  Lines        2603     2619      +16     
==========================================
+ Hits         2570     2587      +17     
+ Misses         33       32       -1     

Flag	Coverage Δ
#unittests	98.77% <100.00%> (+0.04%)	:arrow_up:

Impacted Files	Coverage Δ
src/constraints/indicator.jl	100.00% <ø> (ø)
src/type_inits.jl	100.00% <ø> (ø)
src/types.jl	100.00% <ø> (ø)
src/ConstraintSolver.jl	99.14% <100.00%> (-0.01%)	:arrow_down:
src/MOI_wrapper/objective.jl	100.00% <100.00%> (ø)
src/MOI_wrapper/variables.jl	99.45% <100.00%> (+<0.01%)	:arrow_up:
src/branching.jl	100.00% <100.00%> (ø)
src/constraints/equal.jl	96.55% <0.00%> (+1.14%)	:arrow_up:

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 709d5e5...380a014. Read the comment docs.

[Wikunia]

Very basic version of #176

[Wikunia]

Benchmark Report for ConstraintSolver

Job Properties

• Time of benchmarks:
  • Target: 26 Jun 2020 - 19:15
  • Baseline: 26 Jun 2020 - 19:20
• Package commits:
  • Target: 6a31bc
  • Baseline: 9cfe01
• Julia commits:
  • Target: 44fa15
  • Baseline: 44fa15
• Julia command flags:
  • Target: -O3
  • Baseline: -O3
• Environment variables:
  • Target: None
  • Baseline: None

Results

A ratio greater than 1.0 denotes a possible regression (marked with :x:), while a ratio less than 1.0 denotes a possible improvement (marked with :white_check_mark:). Only significant results - results that indicate possible regressions or improvements - are shown below (thus, an empty table means that all benchmark results remained invariant between builds).

ID	time ratio	memory ratio
["graph_coloring", "US_50colors"]	0.60 (5%) :white_check_mark:	0.46 (1%) :white_check_mark:
["graph_coloring", "US_50colors+equal"]	0.86 (5%) :white_check_mark:	0.75 (1%) :white_check_mark:
["graph_coloring", "US_8+equal"]	0.87 (5%) :white_check_mark:	0.84 (1%) :white_check_mark:
["killer_sudoku", "niall_5501_special"]	0.95 (5%) :white_check_mark:	1.00 (1%)
["lp", "issue_83"]	1.05 (5%)	0.99 (1%) :white_check_mark:

Benchmark Group List

Here's a list of all the benchmark groups executed by this job:

• ["eternity"]
• ["graph_coloring"]
• ["killer_sudoku"]
• ["lp"]
• ["sudoku"]

Julia versioninfo

Target

Julia Version 1.4.2
Commit 44fa15b150* (2020-05-23 18:35 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
      "Arch Linux"
  uname: Linux 5.7.5-arch1-1 #1 SMP PREEMPT Mon, 22 Jun 2020 08:10:02 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  3575 MHz     634329 s       4840 s      23821 s    6824802 s       2200 s

  Memory: 46.99065017700195 GB (36968.61328125 MB free)
  Uptime: 6244.0 sec
  Load Avg:  2.1005859375  2.0400390625  1.646484375
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-8.0.1 (ORCJIT, sandybridge)

Baseline

Julia Version 1.4.2
Commit 44fa15b150* (2020-05-23 18:35 UTC)
Platform Info:
  OS: Linux (x86_64-pc-linux-gnu)
      "Arch Linux"
  uname: Linux 5.7.5-arch1-1 #1 SMP PREEMPT Mon, 22 Jun 2020 08:10:02 +0000 x86_64 unknown
  CPU: Intel(R) Xeon(R) CPU E5-1650 0 @ 3.20GHz: 
                 speed         user         nice          sys         idle          irq
       #1-12  3691 MHz     690656 s       4840 s      25036 s    7106878 s       2392 s

  Memory: 46.99065017700195 GB (37957.5 MB free)
  Uptime: 6527.0 sec
  Load Avg:  2.150390625  2.11328125  1.7919921875
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-8.0.1 (ORCJIT, sandybridge)