Skip to content
This repository has been archived by the owner on May 10, 2024. It is now read-only.

Infer variable domains from constraints #112

Open
lalithsuresh opened this issue Jun 28, 2021 · 0 comments
Open

Infer variable domains from constraints #112

lalithsuresh opened this issue Jun 28, 2021 · 0 comments
Labels
bug Something isn't working
Milestone
0.13.0

Comments

@lalithsuresh
Copy link
Contributor

No description provided.

@lalithsuresh lalithsuresh added the bug Something isn't working label Jun 28, 2021
lalithsuresh added a commit that referenced this issue Jun 28, 2021
@lalithsuresh
[#112] ortools-backend: temporarily avoid overflow issues in o.mult()
163b44f 
Signed-off-by: Lalith Suresh <[email protected]>
askiad added a commit to askiad/declarative-cluster-management that referenced this issue Jun 28, 2021
@askiad
multiplication test generates model_invalid - issue[vmware-archive#112]
6615187 
Signed-off-by: Athinagoras Skiadopoulos <[email protected]>
@askiad askiad mentioned this issue Jun 28, 2021
Merged
lalithsuresh pushed a commit that referenced this issue Jun 28, 2021
@askiad
[#110]: Don't search for an UNSAT core unless solver status is INFEAS…
eac072a 
…IBLE (#113)

Also adds a test case that is temporarily disabled until [#112] is fixed

Signed-off-by: Athinagoras Skiadopoulos <[email protected]>
@lalithsuresh lalithsuresh added this to the 0.11.0 milestone Jun 28, 2021
@lalithsuresh lalithsuresh mentioned this issue Jun 30, 2021
Closed
@lalithsuresh lalithsuresh modified the milestones: 0.11.0, 0.12.0 Jun 30, 2021
@lalithsuresh lalithsuresh modified the milestones: 0.12.0, 0.13.0 Jul 27, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
0.13.0
Development

No branches or pull requests
1 participant
@lalithsuresh