GitHub - cs-au-dk/MONA: MONA - a decision procedure for monadic second-order logic on finite strings and trees

cs-au-dk / MONA Public

Notifications You must be signed in to change notification settings
Fork 13
Star 46

MONA - a decision procedure for monadic second-order logic on finite strings and trees

www.brics.dk/mona/

GPL-2.0 license

46 stars 13 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
BDD		BDD
DFA		DFA
Examples		Examples
Front		Front
GTA		GTA
Lib		Lib
Mem		Mem
config		config
m4		m4
.gitignore		.gitignore
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
NEWS		NEWS
README		README
aclocal.m4		aclocal.m4
config.h.in		config.h.in
configure		configure
configure.ac		configure.ac
makefile.am		makefile.am
makefile.in		makefile.in
mona-mode.el		mona-mode.el
mona.1		mona.1
mona.spec.in		mona.spec.in

Repository files navigation

MONA Version 1.4
Copyright (C) 1997-2016 Aarhus University.

[The 'Mem/dlmalloc.*' are the memory management
routines of Doug Lea (dl@cs.oswego.edu) and are 
not covered by the Aarhus University copyright.]

Please read the file 'COPYING' before you use MONA.
To compile and install, see the file 'INSTALL'.

The 'MONA Version 1.4 User Manual' is available from the MONA homepage.

Information about the Graphviz tool for visualization of DFAs 
can be found at http://www.graphviz.org/.

A simple Emacs MONA mode is available in this package. 
See 'mona-mode.el' for further information.

The directory 'Lib' contains libraries for using the external
automaton format and some example applications.
The directory 'Examples' contains the MONA programs shown in the
manual and some example applications of the BDD, DFA and GTA packages
using the internal representation.

If you have any problems or questions about the source code, 
please send email to 
  
  amoeller@cs.au.dk 

or visit the MONA homepage at 

  http://www.brics.dk/mona