You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
FOLParser must be modified to support binary operators. Currently, it supports only equality. It should be extended to support natural numbers and their binary operations.
Activity
aakashkrsingh1 commentedon Feb 25, 2019
I am going to try to solve this issue.
aakashkrsingh1 commentedon Feb 25, 2019
I am kind of a beginner in git hub projects. Can you tell me where to find the FOLParser?