Source Package mona

Subpackages

• mona - A decision procedure for the WS1S and WS2S logics
• mona-devel - Header files for developing applications with Mona
• mona-emacs - Emacs mode for editing Mona files
• mona-examples - Example Mona source files and C programs
• mona-libs - Supporting libraries for Mona
• mona-xemacs - XEmacs mode for editing Mona files