Walnut Software

Walnut is a free software program written by Hamoon Mousavi to solve problems and answer questions, posed in first-order logic, about automatic and related sequences. It can handle a wide variety of problems.

It is available at github. A manual of how to use it is available on the arxiv. There is also a text file with some examples of how to use Walnut.

If you find Walnut useful in your research, please be sure to cite Hamoon Mousavi as the author of the software, and let me know what you achieved with it.

Walnut has been used in a variety of papers. A partial list is here (will be updated):