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