Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

simplify unsigned constraints a bit #77

Merged
merged 5 commits into from
Nov 21, 2024
Merged

simplify unsigned constraints a bit #77

merged 5 commits into from
Nov 21, 2024

Commits on Nov 11, 2024

  1. simplify unsigned constraints a bit 

    Without any extra treatment, this uses 2 variables + 6 inequality constraints
per a split variable with 2 constraints. Which is a bit of an improvement from
the original 3 variables + 6 inequality constraints + 1 equality constraint.

Additionally, 2 of the new 6 inequality constraints are redundant and may be
removed manually.
    @exaexa
    exaexa committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    fed22a5 View commit details
    Browse the repository at this point in the history

  2. of course I put the minus in the wrong place

    @exaexa
    exaexa committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    c154f20 View commit details
    Browse the repository at this point in the history

  3. bump minor

    @exaexa
    exaexa committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    12bd231 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. remove one last sign_split_variables

    @exaexa
    exaexa committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    286cb99 View commit details
    Browse the repository at this point in the history

  2. re-cover

    @exaexa
    exaexa committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    00449d6 View commit details
    Browse the repository at this point in the history