Skip to content

refactor: change the name of the valid operation to satisfiable #117

Open
Open
refactor: change the name of the valid operation to satisfiable#117
Labels
enhancementNew feature or requestpriority:highHigh priority issue
@benavidescuevas

Description

@benavidescuevas
benavidescuevas
opened on Jul 29, 2023

In order to follow other knowledge consolidation initiatives, change the name of the valid(FM) analysis operation to satisfiable(FM).

Change to be made here: core/operations/valid.py

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestpriority:highHigh priority issue

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions