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

Jump to bottom

Adding choco #413

Merged
merged 119 commits into from
Mar 25, 2024
Merged

Adding choco #413

merged 119 commits into from
Mar 25, 2024

Commits on Jun 5, 2023

  1. Creating branch and first tries

    @Dimosts
    Dimosts committed Jun 5, 2023
    Configuration menu
    Copy the full SHA
    40657cd View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    f5ba83a View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    bcf9070 View commit details
    Browse the repository at this point in the history

  2. add choco as choice

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    cef11d9 View commit details
    Browse the repository at this point in the history

  3. Update choco.py

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    9416336 View commit details
    Browse the repository at this point in the history

  4. canonical_comparison transformation

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    562b193 View commit details
    Browse the repository at this point in the history

  5. new transformation used in linearize

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    c7a7c5a View commit details
    Browse the repository at this point in the history

  6. solve and most in post_constraint

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    6f3ccbf View commit details
    Browse the repository at this point in the history

  7. first version of post_constraint()

    @Dimosts
    Dimosts committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    13595a4 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. all supported global constraints

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    3f36fd7 View commit details
    Browse the repository at this point in the history

  2. objective + solve()

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    e07940a View commit details
    Browse the repository at this point in the history

  3. Update __init__.py

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    c6f1ded View commit details
    Browse the repository at this point in the history

  4. Update utils.py

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    994c86f View commit details
    Browse the repository at this point in the history

  5. corrections

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    32dcfa4 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    fb89d1b View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    5190498 View commit details
    Browse the repository at this point in the history

  8. correct input to Choco

    @Dimosts
    Dimosts committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    e93072e View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. solveall() + time_limit exception

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    2037165 View commit details
    Browse the repository at this point in the history

  2. remove unsupported

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    74f744b View commit details
    Browse the repository at this point in the history

  3. remove of only_bv_implies + add indomain + remove unneeded stuff

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    ecf379b View commit details
    Browse the repository at this point in the history

  4. fix finding optimal solution

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    8d34f71 View commit details
    Browse the repository at this point in the history

  5. tests for choco

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    c10c6ed View commit details
    Browse the repository at this point in the history

  6. cover all cases in tests

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    fc99aa3 View commit details
    Browse the repository at this point in the history

  7. forgotten skip

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    727fb2c View commit details
    Browse the repository at this point in the history

  8. remove unneeded checks + cover modulo extreme case

    @Dimosts
    Dimosts committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    a188ba3 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. only_bv_reifies

    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    15d5cd2 View commit details
    Browse the repository at this point in the history

  2. reification + implications + correct transformations + cover cases fo… 

    …r choco sytax
    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    e7c29f5 View commit details
    Browse the repository at this point in the history

  3. remove part from only_bv_implies

    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    c94ec61 View commit details
    Browse the repository at this point in the history

  4. remove only_bv_implies test due to changes

    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    a67ffc8 View commit details
    Browse the repository at this point in the history

  5. pychoco has a bug on finding all optimal solutions

    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    c589e1b View commit details
    Browse the repository at this point in the history

  6. choco wants int and not np.int64

    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    0bb056c View commit details
    Browse the repository at this point in the history

  7. correct solveAll count

    @Dimosts
    Dimosts committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    63f2b23 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. only_bv_reifies

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    278c001 View commit details
    Browse the repository at this point in the history

  2. canonical comparison transformation

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    dee6f24 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'canonical-and-reify-rewrite' into adding-choco

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    4c88925 View commit details
    Browse the repository at this point in the history

  4. choco 1 0 instead of True False

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    24318fd View commit details
    Browse the repository at this point in the history

  5. only_implies

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    83a3971 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'canonical-and-reify-rewrite' into adding-choco

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    ef92cbf View commit details
    Browse the repository at this point in the history

  7. minor

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    3ef220d View commit details
    Browse the repository at this point in the history

  8. minor

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    fa33b57 View commit details
    Browse the repository at this point in the history

  9. minor

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    6d09cde View commit details
    Browse the repository at this point in the history

  10. choco docs

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    7e71f0e View commit details
    Browse the repository at this point in the history

  11. style

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    7c06bf0 View commit details
    Browse the repository at this point in the history

  12. test_only_implies

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    6d54a1e View commit details
    Browse the repository at this point in the history

  13. change order of transformations

    @Dimosts
    Dimosts committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    88d782f View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. bring vars to left side in all cases

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    a4b73fe View commit details
    Browse the repository at this point in the history

  2. handling True and False cases

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    cffb964 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'canonical-and-reify-rewrite' into adding-choco

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    2911932 View commit details
    Browse the repository at this point in the history

  4. translate int to bool for bool variables

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    98d29f4 View commit details
    Browse the repository at this point in the history

  5. minor

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    d22040c View commit details
    Browse the repository at this point in the history

  6. fix count()

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    8f4c4b3 View commit details
    Browse the repository at this point in the history

  7. np.array().tolist()

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    bb259ed View commit details
    Browse the repository at this point in the history

  8. polishing

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    82b3cbf View commit details
    Browse the repository at this point in the history

  9. avoid flatten_objective

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    0459db7 View commit details
    Browse the repository at this point in the history

  10. cover case of list of vars in demand for cumulative

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    05fd0da View commit details
    Browse the repository at this point in the history

  11. to_var() + covering cases in input for constraints

    @Dimosts
    Dimosts committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    351615d View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. take all cases into account

    @Dimosts
    Dimosts committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    a0121fe View commit details
    Browse the repository at this point in the history

  2. change order of transform

    @Dimosts
    Dimosts committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    3c74253 View commit details
    Browse the repository at this point in the history

  3. cover case for sub

    @Dimosts
    Dimosts committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    5112111 View commit details
    Browse the repository at this point in the history

  4. time limit + finding all optimal solutions

    @Dimosts
    Dimosts committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    e80f8b0 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2023

  1. Move -IV (operator) correctly to lhs

    @Dimosts
    Dimosts committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    d53dcb6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'canonical-and-reify-rewrite' into adding-choco

    @Dimosts
    Dimosts committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    4f72f47 View commit details
    Browse the repository at this point in the history

  3. dealing with 'sub'

    @Dimosts
    Dimosts committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    9c49237 View commit details
    Browse the repository at this point in the history

  4. dealing with sub

    @Dimosts
    Dimosts committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    e2a7835 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'canonical-and-reify-rewrite' into adding-choco

    @Dimosts
    Dimosts committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    ab72835 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Merge branch 'master' into adding-choco

    @Wout4
    Wout4 committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    e432e27 View commit details
    Browse the repository at this point in the history

  2. canonical_comparison after flatten

    @Dimosts
    Dimosts committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    fc4c917 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    5125901 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    6929757 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. Merge branch 'master' into adding-choco

    @Wout4
    Wout4 committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    20fa465 View commit details
    Browse the repository at this point in the history

  2. use is_boolexpr is stead of .is_bool

    @Wout4
    Wout4 committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    380e640 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. cover all cases in min, max, abs

    @Dimosts
    Dimosts committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    62ca607 View commit details
    Browse the repository at this point in the history

  2. fix count

    @Dimosts
    Dimosts committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    66b8e8e View commit details
    Browse the repository at this point in the history

  3. div and mod

    @Dimosts
    Dimosts committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    12bd3ad View commit details
    Browse the repository at this point in the history

  4. cover all cases for element

    @Dimosts
    Dimosts committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    a47eb9c View commit details
    Browse the repository at this point in the history

  5. Choco Exceptions

    @Dimosts
    Dimosts committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    df2277a View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. checks in to_var and to_vars

    @Dimosts
    Dimosts committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    ffe5361 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    818dab2 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. replicate code to to_var and to_vars

    @Dimosts
    Dimosts committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    3692768 View commit details
    Browse the repository at this point in the history

  2. Bounds and ints are int32 - checks

    @Dimosts
    Dimosts committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    01edb3a View commit details
    Browse the repository at this point in the history

  3. ChocoTypeException

    @Dimosts
    Dimosts committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    577f819 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. use of is_int()

    @Dimosts
    Dimosts committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    2ef3f91 View commit details
    Browse the repository at this point in the history

  2. convert numbers to int

    @Dimosts
    Dimosts committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    4a1cee9 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    27ab55d View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Merge remote-tracking branch 'origin/master' into adding-choco

    @IgnaceBleukx
    IgnaceBleukx committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    c8ce758 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. some from feedback

    @Dimosts
    Dimosts committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    4e06b60 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    7e7468d View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. ensure only_numexpr also works in reified

    @IgnaceBleukx
    IgnaceBleukx committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    9f6aacb View commit details
    Browse the repository at this point in the history

  2. ensure bv -> bv is not added twice

    @IgnaceBleukx
    IgnaceBleukx committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    346a259 View commit details
    Browse the repository at this point in the history

  3. update posting interface

    @IgnaceBleukx
    IgnaceBleukx committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    a1a5865 View commit details
    Browse the repository at this point in the history

  4. resolve merge conflicts

    @IgnaceBleukx
    IgnaceBleukx committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    41e5b59 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/master' into adding-choco

    @IgnaceBleukx
    IgnaceBleukx committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    0d3d4fc View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. update with new interface

    @IgnaceBleukx
    IgnaceBleukx committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    610ec6f View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Merge remote-tracking branch 'origin/master' into adding-choco

    @IgnaceBleukx
    IgnaceBleukx committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    5eff77e View commit details
    Browse the repository at this point in the history

  2. add n_values constraint

    @IgnaceBleukx
    IgnaceBleukx committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8847edf View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. bounds are always int

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    6d80a36 View commit details
    Browse the repository at this point in the history

  2. duration can be either var or int

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    ce10f9d View commit details
    Browse the repository at this point in the history

  3. add Inverse to tests

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    d4f4f95 View commit details
    Browse the repository at this point in the history

  4. cleanup objective posting

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    d48c8de View commit details
    Browse the repository at this point in the history

  5. forgot import

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    a5b7a63 View commit details
    Browse the repository at this point in the history

  6. proper translation of status

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    0c4de5c View commit details
    Browse the repository at this point in the history

  7. ensure always int when making constant_var

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    bd4e0db View commit details
    Browse the repository at this point in the history

  8. rename and cleanup to_var

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    e89a32b View commit details
    Browse the repository at this point in the history

  9. added clarification why constraint can be None

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    4c812bf View commit details
    Browse the repository at this point in the history

  10. restructure and cleanup _get_constraint function

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    1aaddbb View commit details
    Browse the repository at this point in the history

  11. exclude inverse from choco tests

    @IgnaceBleukx
    IgnaceBleukx committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    a60534d View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Merge branch 'master' into adding-choco

    @Dimosts
    Dimosts committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    2848fb5 View commit details
    Browse the repository at this point in the history

  2. avoid creating too many vars

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    fbc6988 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'adding-choco' of github.com:CPMpy/cpmpy into adding-choco

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    100f0b9 View commit details
    Browse the repository at this point in the history

  4. minor fixes

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    00be5a5 View commit details
    Browse the repository at this point in the history

  5. exclude inverse from Bool solvers

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    68acd3b View commit details
    Browse the repository at this point in the history

  6. change inverse tes

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    193a46e View commit details
    Browse the repository at this point in the history

  7. typo

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    46c9049 View commit details
    Browse the repository at this point in the history

  8. fix mistake in implied cons

    @IgnaceBleukx
    IgnaceBleukx committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    3784fc6 View commit details
    Browse the repository at this point in the history

  9. fix choco tests

    @Dimosts
    Dimosts committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    9516d1c View commit details
    Browse the repository at this point in the history

  10. Update test_constraints.py

    @Dimosts
    Dimosts committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    5db0759 View commit details
    Browse the repository at this point in the history

  11. remove inverse test - separate PR

    @Dimosts
    Dimosts committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    eec5fcc View commit details
    Browse the repository at this point in the history

  12. remove inverse tests part 2

    @Dimosts
    Dimosts committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    62a9bea View commit details
    Browse the repository at this point in the history

  13. add choco to github tests

    @Wout4
    Wout4 committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    df2d16f View commit details
    Browse the repository at this point in the history