Update README.md

McSCert · Jul 22, 2020 · cf745e9 · cf745e9
1 parent 5373fe4
commit cf745e9
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/README.md b/README.md
@@ -1,12 +1,6 @@
 # Simulink Logic Simplifier Tool
 
-The Simulink Logic Simplifier tool automatically simplifies Simulink designs to
-reduce complexity and save developers time during development and refactor-
-ing. The tool specifically focuses on simplifying implementations of combinato-
-rial logic in Simulink, such as those making use of logical operators, relational
-operators, and many others. After a simplifiation is performed, the tool also
-facilitates verification to ensure that the behaviour of the original system is
-preserved in the results.
+The Simulink Logic Simplifier tool automatically simplifies Simulink designs to reduce complexity and save developers time during development and refactoring. The tool specifically focuses on simplifying implementations of combinatorial logic in Simulink, such as those making use of logical operators, relational operators, and many others. After a simplifiation is performed, the tool also facilitates verification to ensure that the behaviour of the original system is preserved in the results.
 
 ## User Guide
 For installation and other information, please see the [User Guide](doc/SimulinkLogicSimplifier_UserGuide.pdf).