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

Let users select an active generator and solver #11

Open
Benezivas opened this issue Nov 29, 2023 · 0 comments
Open

Let users select an active generator and solver #11

Benezivas opened this issue Nov 29, 2023 · 0 comments
Labels
feature request A concrete idea that would be nice to have

Comments

@Benezivas
Copy link
Collaborator

Right now, the latest uploaded solver/generator is the one being used in battles. It would be nice to have an option to set a specific generator/solver as the 'active' one for a given problem (default: the latest one, as it is now).
@Benezivas Benezivas added the feature request A concrete idea that would be nice to have label Nov 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature request A concrete idea that would be nice to have
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Benezivas