Update README.md

mojtaba-eshghie · Jul 18, 2024 · b0e6202 · b0e6202
1 parent 8ffbfba
commit b0e6202
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@ PreDi is a tool to compare two predicates written in Solidity, the smart contrac
 
 - Tokenizes and parses each Solidity predicate into an Abstract Syntax Tree (AST)
 - Simplify AST using symbolic mathematics
-- Compare predicates for equivalence and logical strength either using predefined rules (when applicable) or checking for counter-example satisfiability when not possible via pre-defined rules.
+- Compare predicates for equivalence and logical strength either using predefined rules (when applicable) or checking for satisfiability when pre-defined rules are not applicable.
 
 ## Install Using pip and Use as a Python Library