From b3bba8de4cb4e8d1640568418c9505caeecadd67 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Fri, 5 Jul 2019 18:35:04 -0700 Subject: [PATCH] Update README.md --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index e992466..76305a4 100644 --- a/README.md +++ b/README.md @@ -201,6 +201,12 @@ print(utils.discretize(mtl.parse('F[0, 0.2] a'), dt=0.1)) # output: (a | X a | XX a) ``` +# Similar Projects +Feel free to open up a pull-request to add other similar projects. This library was written to meet some of my unique needs, for example I wanted the AST to be immutable and wanted the library to **just** handle manipulating MTL. Many other similar projects exist with different goals. + +1. https://github.com/doganulus/python-monitors +1. https://github.com/STLInspector/STLInspector + # Citing @misc{pyMTL,