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

Extending automatic teststuite #464

Merged
merged 56 commits into from
May 21, 2024
Merged

Extending automatic teststuite #464

merged 56 commits into from
May 21, 2024

Commits on Jan 1, 2023

  1. add transform to ortools, fix default args of transfs

    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    6818896 View commit details
    Browse the repository at this point in the history

  2. solvers: transform() to superclass and template

    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    08a0332 View commit details
    Browse the repository at this point in the history

  3. gurobi: use generic transform (UNTESTED! license does not activate fr… 

    …om home)
    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    ed0af00 View commit details
    Browse the repository at this point in the history

  4. minizinc: use generic transform()

    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    74a407f View commit details
    Browse the repository at this point in the history

  5. pysat/pysdd: use generic transform

    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    db05833 View commit details
    Browse the repository at this point in the history

  6. z3: use transform

    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    8447c5d View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into 140-refactoring-of-solverinterface

    @tias
    tias committed Jan 1, 2023
    Configuration menu
    Copy the full SHA
    ac82820 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2023

  1. z3 transform: ensure it is a list

    @tias
    tias committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    c8d71f5 View commit details
    Browse the repository at this point in the history

  2. solvers: tweaks of transform()

    @tias
    tias committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    83ae171 View commit details
    Browse the repository at this point in the history

  3. docs: debugging guide to include using a solvers transform() function

    @tias
    tias committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    1751152 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. Merge branch 'master' into 140-refactoring-of-solverinterface 

    # Conflicts:
#	cpmpy/solvers/z3.py
    @IgnaceBleukx
    IgnaceBleukx committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    4e20463 View commit details
    Browse the repository at this point in the history

  2. cascaded xors, leave new vars to flatten_contraint in solver interfaces

    @IgnaceBleukx
    IgnaceBleukx committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    d94238e View commit details
    Browse the repository at this point in the history

  3. global xor correctly transformed to cnf by recursive call

    @IgnaceBleukx
    IgnaceBleukx committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    35950e5 View commit details
    Browse the repository at this point in the history

  4. run all supported solvers in testsuite

    @IgnaceBleukx
    IgnaceBleukx committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    a4f9afd View commit details
    Browse the repository at this point in the history

  5. cumulative constraint duration for minizinc

    @IgnaceBleukx
    IgnaceBleukx committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    9787f6d View commit details
    Browse the repository at this point in the history

  6. _post constraint does not support lists of expr

    @IgnaceBleukx
    IgnaceBleukx committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    8227122 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2023

  1. implemented ConstraintNotImplementedError

    @IgnaceBleukx
    IgnaceBleukx committed Jan 25, 2023
    Configuration menu
    Copy the full SHA
    c42ddf7 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. ensure solver assigns value to any user var

    @IgnaceBleukx
    IgnaceBleukx committed May 2, 2024
    Configuration menu
    Copy the full SHA
    4845676 View commit details
    Browse the repository at this point in the history

  2. add test

    @IgnaceBleukx
    IgnaceBleukx committed May 2, 2024
    Configuration menu
    Copy the full SHA
    068f83e View commit details
    Browse the repository at this point in the history

  3. extend and clean automatic testsuite

    @IgnaceBleukx
    IgnaceBleukx committed May 2, 2024
    Configuration menu
    Copy the full SHA
    3847201 View commit details
    Browse the repository at this point in the history

  4. undefinedness -> False in neirest Bool context

    @IgnaceBleukx
    IgnaceBleukx committed May 2, 2024
    Configuration menu
    Copy the full SHA
    6d21c8b View commit details
    Browse the repository at this point in the history

  5. fix simplication when comparison is used as num argument

    @IgnaceBleukx
    IgnaceBleukx committed May 2, 2024
    Configuration menu
    Copy the full SHA
    240976a View commit details
    Browse the repository at this point in the history

  6. finish merge

    @IgnaceBleukx
    IgnaceBleukx committed May 2, 2024
    Configuration menu
    Copy the full SHA
    49f9975 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into extended_testsuite 

    # Conflicts:
#	tests/test_solvers.py
    @Wout4
    Wout4 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    1f244f6 View commit details
    Browse the repository at this point in the history

  8. vals in gcc are ints

    @Dimosts
    Dimosts committed May 2, 2024
    Configuration menu
    Copy the full SHA
    f1bbd68 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. cleanup of test_constraints file

    @IgnaceBleukx
    IgnaceBleukx committed May 7, 2024
    Configuration menu
    Copy the full SHA
    d95fad2 View commit details
    Browse the repository at this point in the history

  2. ensure comparisons of Bool to constant are translated properly

    @IgnaceBleukx
    IgnaceBleukx committed May 7, 2024
    Configuration menu
    Copy the full SHA
    88705eb View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/extended_testsuite' into extende… 

    …d_testsuite
    @Wout4
    Wout4 committed May 7, 2024
    Configuration menu
    Copy the full SHA
    3763247 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. introduce argvals() helper function 

    Use NaN for undefined values
    @Wout4
    Wout4 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    2efbe75 View commit details
    Browse the repository at this point in the history

  2. exclude inverse from tests

    @Wout4
    Wout4 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    3f8ef4e View commit details
    Browse the repository at this point in the history

  3. include inverse again, test are failing anyway

    @Wout4
    Wout4 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    daf505d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'extended_testsuite' of github.com:CPMpy/cpmpy into exte… 

    …nded_testsuite
    @IgnaceBleukx
    IgnaceBleukx committed May 8, 2024
    Configuration menu
    Copy the full SHA
    23b89b0 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Revert "introduce argvals() helper function" 

    This reverts commit 2efbe75.
    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    8adcf5b View commit details
    Browse the repository at this point in the history

  2. hack: ensure all variables have a value

    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    3a84ded View commit details
    Browse the repository at this point in the history

  3. update tests to exclude inverse

    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    828d2cd View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'refs/remotes/origin/master' into extend… 

    …ed_testsuite

# Conflicts:
#	cpmpy/solvers/pysdd.py
#	tests/test_constraints.py
#	tests/test_solvers.py
    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    a387aef View commit details
    Browse the repository at this point in the history

  5. add increasing and decreasing to numerical globals in testsuite

    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    47fd9c5 View commit details
    Browse the repository at this point in the history

  6. add new global constraints as numeric

    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    d461be8 View commit details
    Browse the repository at this point in the history

  7. fix test, we have relational semantics in value computation now

    @IgnaceBleukx
    IgnaceBleukx committed May 10, 2024
    Configuration menu
    Copy the full SHA
    fc8f5f0 View commit details
    Browse the repository at this point in the history

  8. indexerror -> false

    @Wout4
    Wout4 committed May 10, 2024
    Configuration menu
    Copy the full SHA
    464e555 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Safe_value() on expressions, automatically handle incompletefunction … 

    …errors in argval() functions
    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    970bbb0 View commit details
    Browse the repository at this point in the history

  2. use helper function argvals()

    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    c013ee8 View commit details
    Browse the repository at this point in the history

  3. uncomment gurobi supported function

    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    8d7a165 View commit details
    Browse the repository at this point in the history

  4. fix test, .value() raises but argval() does not

    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    01c53f5 View commit details
    Browse the repository at this point in the history

  5. remove unnecessary aux vars in value calculation

    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    6870a91 View commit details
    Browse the repository at this point in the history

  6. use argval in tests

    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    3fee8d0 View commit details
    Browse the repository at this point in the history

  7. use argval in tests

    @Wout4
    Wout4 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    db8efd7 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. use argval and .value() in test constraints

    @Wout4
    Wout4 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    429daf9 View commit details
    Browse the repository at this point in the history

  2. reference .safe_value when incompletefunctionerror is thrown.

    @Wout4
    Wout4 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    2b04967 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. remove safe_value, only need argval

    @Wout4
    Wout4 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    72cbc49 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Merge branch 'master' into extended_testsuite

    @IgnaceBleukx
    IgnaceBleukx authored May 17, 2024
    Configuration menu
    Copy the full SHA
    b674a59 View commit details
    Browse the repository at this point in the history

  2. nvalueexcept constructor fixed in test_constraints

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

  3. test all solvers in test_constraints

    @Wout4
    Wout4 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    e5debe4 View commit details
    Browse the repository at this point in the history

  4. remove print

    @Wout4
    Wout4 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    32c8535 View commit details
    Browse the repository at this point in the history

  5. add nvalueexcept to num_globals in test constraints

    @Wout4
    Wout4 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    d34a971 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. exclude strictly_increasing from mzn tests

    @IgnaceBleukx
    IgnaceBleukx committed May 21, 2024
    Configuration menu
    Copy the full SHA
    3376000 View commit details
    Browse the repository at this point in the history