Skip to content

Add usual constraints from XCSP3 #29

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.

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

Merged
merged 21 commits into from
Jun 23, 2024
Merged

Add usual constraints from XCSP3 #29

merged 21 commits into from
Jun 23, 2024

Conversation

Azzaare
Copy link
Member

@Azzaare Azzaare commented Jun 21, 2024

Left to do:

@Azzaare Azzaare added bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request labels Jun 21, 2024
@Azzaare Azzaare self-assigned this Jun 21, 2024
@Azzaare Azzaare marked this pull request as ready for review June 23, 2024 01:31
@Azzaare Azzaare merged commit 0ef5819 into dev Jun 23, 2024
9 checks passed
@Azzaare Azzaare deleted the usual branch June 23, 2024 01:41
Azzaare added a commit that referenced this pull request Jun 23, 2024
* Add usual constraints from XCSP3 (#29)

* Fix AllDifferent with param too

* AllDiff and AllEq

* Cardinality

* Channel

* Circuit

* Count

* Cumulative

* Element

* Extension

* Instantiation

* Intention (DistDifferent)

* Maximum

* Minimum

* MDD

* NValues

* No Overlap

* Ordered

* Regular

* Sum

* Test items and fixes

* Fix test items

* Update Project.toml

* Update Project.toml
Azzaare added a commit that referenced this pull request Jun 23, 2024
* Add usual constraints from XCSP3 (#29)

* Fix AllDifferent with param too

* AllDiff and AllEq

* Cardinality

* Channel

* Circuit

* Count

* Cumulative

* Element

* Extension

* Instantiation

* Intention (DistDifferent)

* Maximum

* Minimum

* MDD

* NValues

* No Overlap

* Ordered

* Regular

* Sum

* Test items and fixes

* Fix test items

* Update Project.toml

* Update Project.toml

* Update compat
Azzaare added a commit that referenced this pull request Jun 27, 2024
* Add usual constraints from XCSP3 (#29)

* Fix AllDifferent with param too

* AllDiff and AllEq

* Cardinality

* Channel

* Circuit

* Count

* Cumulative

* Element

* Extension

* Instantiation

* Intention (DistDifferent)

* Maximum

* Minimum

* MDD

* NValues

* No Overlap

* Ordered

* Regular

* Sum

* Test items and fixes

* Fix test items

* Update Project.toml

* Update Project.toml

* Update compat

* Fix test and printing bug for objectives (#32)

* Basic tests for MOI/JuMP

* Solve the printing issue for objectives
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation Improvements or additions to documentation enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant