Merge branch 'master' of https://github.com/McSCert/Simulink-Logic-Simplifier

stephen99scott · stephen99scott · commit bb03f7f228e9 · 2020-07-22T11:37:53.000-04:00
diff --git a/README.md b/README.md
@@ -0,0 +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 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).
