Skip to content

JuMP-based projection#11

Merged
klamike merged 4 commits intomainfrom
mk/jump_proj
Jun 24, 2025
Merged

JuMP-based projection#11
klamike merged 4 commits intomainfrom
mk/jump_proj

Conversation

@klamike
Copy link
Collaborator

@klamike klamike commented Jun 18, 2025

Closes #9

@klamike klamike marked this pull request as ready for review June 23, 2025 23:55
@klamike klamike merged commit 42f8f15 into main Jun 24, 2025
2 checks passed
@klamike klamike deleted the mk/jump_proj branch June 24, 2025 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

JuMP-based projection

1 participant