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

Tracking issue for supported Minion constraints #171

Open
niklasdewally opened this issue Feb 2, 2024 · 3 comments
Open

Tracking issue for supported Minion constraints #171

niklasdewally opened this issue Feb 2, 2024 · 3 comments
Assignees
@niklasdewally
Labels
area::conjure-oxide Related to conjure_oxide. area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request

Comments

@niklasdewally
Copy link
Contributor

niklasdewally commented Feb 2, 2024 •
edited
Loading

All the Minion constraints, taken directly from the C++ header file.

(Some of these may not be useful for us)

minion_rs

  • watched-and
  • watched-or
  • eq
  • ineq
  • min
  • max
  • difference
  • div
  • div_undefzero
  • modulo
  • modulo_undefzero
  • pow
  • product
  • weightedsumgeq
  • weightedsumleq
  • check[assign]
  • check[gsa]
  • forwardchecking
  • reify
  • reifyimply
  • reifyimply-quick
  • gacalldiff
  • alldiff
  • alldiffmatrix
  • watchsumgeq
  • watchsumleq
  • occurrencegeq
  • occurrenceleq
  • occurrence
  • litsumgeq
  • gcc
  • gccweak
  • lexleq[rv]
  • lexleq
  • lexless
  • lexleq[quick]
  • lexless[quick]
  • watchvecneq
  • watchvecexists_less
  • hamming
  • not-hamming
  • frameupdate
  • haggisgac
  • haggisgac-stable
  • shortstr2
  • shortctuplestr2
  • negativetable
  • table
  • gacschema
  • lighttable
  • mddc
  • negativemddc
  • str2plus
  • nvaluegeq
  • nvalueleq
  • sumgeq
  • sumleq
  • element
  • element_one
  • element_undefzero
  • watchelement
  • watchelement_one
  • watchelement_one_undefzero
  • watchelement_undefzero
  • w-literal
  • w-notliteral
  • w-inintervalset
  • w-inrange
  • w-inset
  • w-notinrange
  • w-notinset
  • abs
  • diseq
  • minuseq
  • gaceq
  • watchless
  • watchneq
  • true
  • false
  • ()()collectevents()()
  • __reify_diseq
  • __reify_eq
  • __reify_minuseq

Solver Adaptor

  • watched-and
  • watched-or
  • eq
  • ineq
  • min
  • max
  • difference
  • div
  • div_undefzero
  • modulo
  • modulo_undefzero
  • pow
  • product
  • weightedsumgeq
  • weightedsumleq
  • check[assign]
  • check[gsa]
  • forwardchecking
  • reify
  • reifyimply
  • reifyimply-quick
  • gacalldiff
  • alldiff
  • alldiffmatrix
  • watchsumgeq
  • watchsumleq
  • occurrencegeq
  • occurrenceleq
  • occurrence
  • litsumgeq
  • gcc
  • gccweak
  • lexleq[rv]
  • lexleq
  • lexless
  • lexleq[quick]
  • lexless[quick]
  • watchvecneq
  • watchvecexists_less
  • hamming
  • not-hamming
  • frameupdate
  • haggisgac
  • haggisgac-stable
  • shortstr2
  • shortctuplestr2
  • negativetable
  • table
  • gacschema
  • lighttable
  • mddc
  • negativemddc
  • str2plus
  • nvaluegeq
  • nvalueleq
  • sumgeq
  • sumleq
  • element
  • element_one
  • element_undefzero
  • watchelement
  • watchelement_one
  • watchelement_one_undefzero
  • watchelement_undefzero
  • w-literal
  • w-notliteral
  • w-inintervalset
  • w-inrange
  • w-inset
  • w-notinrange
  • w-notinset
  • abs
  • diseq
  • minuseq
  • gaceq
  • watchless
  • watchneq
  • true
  • false
  • ()()collectevents()()
  • __reify_diseq
  • __reify_eq
  • __reify_minuseq
@niklasdewally niklasdewally added kind::feature New feature or request area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. area::conjure-oxide Related to conjure_oxide. labels Feb 2, 2024
@niklasdewally niklasdewally self-assigned this Feb 2, 2024
@niklasdewally
Copy link
Contributor Author

niklasdewally commented Feb 2, 2024 •
edited
Loading

@ChrisJefferson Are any of these internal or obviously not useful for us? (in particular, __refiy_, ()()collectevents()()?)

@ozgurakgun
Copy link
Contributor

We probably don't need false and true, in addition to the the ones you mention.

@niklasdewally niklasdewally mentioned this issue Feb 9, 2024
Closed
@niklasdewally niklasdewally added status::blocked Waiting on some other features first. priority::soon We'll need this soon, or other features may be blocked. labels Feb 9, 2024
This was referenced Feb 9, 2024
Closed
Merged
@niklasdewally niklasdewally removed the status::blocked Waiting on some other features first. label Feb 13, 2024
@niklasdewally
Copy link
Contributor Author

Might not need frame update.

@niklasdewally niklasdewally removed the priority::soon We'll need this soon, or other features may be blocked. label Feb 22, 2024
@niklasdewally niklasdewally changed the title All the Minion Constraints!!! Tracking issue: Supported Minion Constraints Sep 16, 2024
@niklasdewally niklasdewally changed the title Tracking issue: Supported Minion Constraints Tracking issue for supported Minion constraints Sep 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@niklasdewally niklasdewally

Labels
area::conjure-oxide Related to conjure_oxide. area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ozgurakgun @niklasdewally