Skip to content

sol.check() is not interruptible with Ctrl+C #104

New issue
New issue
Open
Open
sol.check() is not interruptible with Ctrl+C#104
@user202729

Description

@user202729
user202729
opened on Dec 15, 2024

As in the title.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions