whitemech / mona Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cs-au-dk/mona
MONA - a decision procedure for monadic second-order logic on finite strings and trees
Home Page: http://www.brics.dk/mona/
License: GNU General Public License v2.0