Skip to content

Try RPNI instead of sat solver #18

New issue
New issue
Open
Open
Try RPNI instead of sat solver#18
Labels
Difficulty/Easy
Milestone
Deep DISS v1
@mvcisback

Description

@mvcisback
mvcisback
opened on May 19, 2023

image

uncomment #find_dfa=rnpi

Metadata

Metadata

Assignees

No one assigned

    Labels

    Difficulty/Easy

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions