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.

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

minion_rs / minion C++: get solver stats out of Minion #241

Closed
niklasdewally opened this issue Feb 22, 2024 · 3 comments
Closed

minion_rs / minion C++: get solver stats out of Minion #241

niklasdewally opened this issue Feb 22, 2024 · 3 comments
Labels
area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request priority::next We need this next. status::blocked Waiting on some other features first.

Comments

@niklasdewally
Copy link
Collaborator

No description provided.

@niklasdewally niklasdewally added kind::feature New feature or request area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. labels Feb 22, 2024
@niklasdewally niklasdewally added priority::next We need this next. status::blocked Waiting on some other features first. labels Mar 15, 2024
Copy link
Contributor

This issue has been automatically closed because it has been inactive for 30 days. Please reopen if you think this issue is still relevant.

@github-actions github-actions bot added the Stale label Nov 12, 2024
@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale Nov 12, 2024
@ozgurakgun
Copy link
Contributor

I thought we did this one?

@ozgurakgun ozgurakgun reopened this Nov 12, 2024
@ozgurakgun ozgurakgun removed the Stale label Nov 12, 2024
@niklasdewally
Copy link
Collaborator Author

completed by 751f1e9

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area::minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::feature New feature or request priority::next We need this next. status::blocked Waiting on some other features first.
Projects
None yet
Development

No branches or pull requests

2 participants