Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Sometimes satisfaction problems call get_objective #28

Closed
Azzaare opened this issue Jun 20, 2024 · 1 comment
Closed

Sometimes satisfaction problems call get_objective #28

Azzaare opened this issue Jun 20, 2024 · 1 comment
Assignees
@Azzaare
Labels
bug Something isn't working

Comments

@Azzaare
Copy link
Member

Azzaare commented Jun 20, 2024

Why and how to solve it (maybe ask JuMP-dev)
@Azzaare Azzaare added the bug Something isn't working label Jun 20, 2024
@Azzaare Azzaare self-assigned this Jun 20, 2024
@Azzaare Azzaare added this to Opt Pot Jun 20, 2024
@github-project-automation github-project-automation bot moved this to Todo in Opt Pot Jun 20, 2024
@Azzaare Azzaare mentioned this issue Jun 21, 2024
Merged
2 tasks
@Azzaare
Copy link
Member Author

Azzaare commented Jun 23, 2024

Fixed with JuliaConstraints/CompositionalNetworks.jl#67

@Azzaare Azzaare closed this as completed Jun 23, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in Opt Pot Jun 23, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@Azzaare Azzaare

Labels
bug Something isn't working
Projects
Opt Pot
Archived in project
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Azzaare