diff --git a/README.md b/README.md
index a09992e..433d52c 100644
--- a/README.md
+++ b/README.md
@@ -102,3 +102,8 @@
 * [BAP](https://github.com/BinaryAnalysisPlatform/bap) - Binary Analysis Platform provides a framework for writing program analysis tools.
 * [angr](http://angr.io/) - Python framework for analyzing binaries. Includes a symbolic execution tool.
 * [Triton](https://triton.quarkslab.com/) - Dynamic binary analysis platform that includes a dynamic symbolic execution tool.
+
+
+### Misc
+
+* [Symbooglix](https://github.com/symbooglix/symbooglix) - Symbolic execution tool for Boogie programs.