search

Wikunia / ConstraintSolver.jl

ConstraintSolver in Julia: Blog posts ->
https://opensourc.es/blog/constraint-solver-1
MIT License
136 stars 14 forks source link

check for x == x and x <= x constraints feasible and infeasible #217

Closed Wikunia closed 3 years ago

Wikunia commented 3 years ago

Fixes #215

This implements that x == x constraints or x <= x are ignored and x == x - const are infeasible.

codecov[bot] commented 3 years ago

Codecov Report

Merging #217 (471c9da) into master (e57fbcb) will increase coverage by 0.01%. The diff coverage is 100.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #217      +/-   ##
==========================================
+ Coverage   96.64%   96.66%   +0.01%     
==========================================
  Files          36       36              
  Lines        3163     3178      +15     
==========================================
+ Hits         3057     3072      +15     
  Misses        106      106
Impacted Files Coverage Δ
src/ConstraintSolver.jl 98.71% <100.00%> (+<0.01%) :arrow_up:
src/constraints/equal_to.jl 93.61% <100.00%> (+0.06%) :arrow_up:
src/constraints/indicator.jl 100.00% <100.00%> (ø)
src/constraints/less_than.jl 96.55% <100.00%> (+0.12%) :arrow_up:
src/constraints/reified.jl 100.00% <100.00%> (ø)
src/constraints/table.jl 99.23% <100.00%> (+<0.01%) :arrow_up:
src/types.jl 97.40% <100.00%> (ø)

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 e57fbcb...471c9da. Read the comment docs.