Walnut 6

Walnut is an automated theorem prover for automatic words.

To learn more about Walnut, visit the documentation.

Looking for older Walnut? The previous version of Walnut (Walnut 5) is available here.

Development

If you are a developer and want to work on the Walnut source. Check out the Walnut wiki.

Name		Name	Last commit message	Last commit date
Latest commit History 254 Commits
.github/workflows		.github/workflows
Automata Library		Automata Library
Command Files		Command Files
Custom Bases		Custom Bases
Help Documentation/Commands		Help Documentation/Commands
Macro Library		Macro Library
Morphism Library		Morphism Library
Result		Result
Test Results		Test Results
Transducer Library		Transducer Library
Word Automata Library		Word Automata Library
bin/test/resources		bin/test/resources
gradle/wrapper		gradle/wrapper
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.gradle		build.gradle
build.sh		build.sh
gradlew		gradlew
gradlew.bat		gradlew.bat
walnut.sh		walnut.sh