| CARVIEW |
Select Language
HTTP/2 200
date: Sat, 17 Jan 2026 11:43:23 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"13b6c83811e12120be412f999533c03d"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=ShESyEI5EalaYgTY5%2BSVjFUbYWWNZITSTNkP7F%2BZFYd1mu1AH%2FHMLqjxrCfLBPfvrFvDobqY7VCl4q%2F6HSvojUolQdWweoYTlPGcvIdlpafnnq%2B%2Bj%2FKK2MHc7k0PVHzP98zPStL6R4Oog2nYapDIRkFigDPY4Ux%2F%2Ba9Q6LT9gBqvSFzKKklIxUGJZAYrrPb2gb70hyyeTKI687gNljcLAyhD1%2BkV3K2RpfdN5BkI0MYTLY%2FTOZ2nHJgddCQHad36lQPmhpob6cYP2QQoGmYdzw%3D%3D--htKrO8bKEx4ZInJV--%2BSkNzPEWNGY0xcI6dhjuLA%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.137113549.1768650203; Path=/; Domain=github.com; Expires=Sun, 17 Jan 2027 11:43:23 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Sun, 17 Jan 2027 11:43:23 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: C3D0:3F05C2:12932F8:15BC4DF:696B75DB
GitHub - whitemech/MONA: MONA - a decision procedure for monadic second-order logic on finite strings and trees
Skip to content
Navigation Menu
{{ message }}
forked from cs-au-dk/MONA
-
Notifications
You must be signed in to change notification settings - Fork 0
MONA - a decision procedure for monadic second-order logic on finite strings and trees
License
whitemech/MONA
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
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 https://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 https://www.brics.dk/mona
About
MONA - a decision procedure for monadic second-order logic on finite strings and trees
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- C 43.6%
- Shell 28.0%
- C++ 27.7%
- Other 0.7%
You can’t perform that action at this time.