Main page info of Storm for Doxygen

6 years ago · da31ca2952
1 changed files with 9 additions and 0 deletions
--- a/src/storm/storm.cpp
+++ b/src/storm/storm.cpp
@ -1,3 +1,12 @@
+/*! \mainpage Storm - A Modern Probabilistic Model Checker
+ *
+ * This document contains the Doxygen documentation of the Storm source code.
+ *
+ * \section more_info More information
+ * For more information, installation guides and tutorials on how to use Storm, visit the Storm website: http://www.stormchecker.org.
+ */
+
+
 #include "storm/utility/macros.h"
 #include "storm/exceptions/BaseException.h"