Set a maxtime for the relaxation #90

Open

Assignees

Labels

Milestone

opened

on May 18, 2022

If a maximum amount of time pass, save the minimization safely and exit.

Metadata

Assignees

mesonepigreco

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

1.2

Relationships

None yet

Development

No branches or pull requests