-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Distinguish Literals the Same Clauses
bugSomething isn't workingSomething isn't workingStatus: Open.#4 In REA1/karp;Make Positive Literal and Variable Compatible
enhancementNew feature or requestNew feature or requestStatus: Open.#3 In REA1/karp;Construction of Sequential Structure
enhancementNew feature or requestNew feature or requestStatus: Open.#2 In REA1/karp;