Skip to content

Commit

Permalink
exclude Among from pysat tests
Browse files Browse the repository at this point in the history
  • Loading branch information
IgnaceBleukx committed May 21, 2024
1 parent be5fe8b commit fcd0810
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/test_constraints.py
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@
"AllEqual", "AllDifferent", "AllDifferentExcept0", "Cumulative", "GlobalCardinalityCount", "InDomain", "Inverse", "Table", "Circuit",
"Increasing", "IncreasingStrict", "Decreasing", "DecreasingStrict",
# also global functions
"Abs", "Element", "Minimum", "Maximum", "Count", "NValue", "NValueExcept"
"Abs", "Element", "Minimum", "Maximum", "Count", "Among", "NValue", "NValueExcept"
}

# Solvers not supporting arithmetic constraints
Expand Down

0 comments on commit fcd0810

Please sign in to comment.