TL;DR
Walnut is an open-source Java software tool that automates decision procedures for specific combinatorial properties of automatic sequences, aiding researchers in formal verification and combinatorics.
Contribution
The paper introduces Walnut, a new software package that automates theorem proving for properties of automatic sequences, enhancing computational tools in formal language theory.
Findings
Walnut successfully automates decision procedures for automatic sequences.
It is open source and written in Java, facilitating accessibility and integration.
The tool supports formal verification of combinatorial properties.
Abstract
Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words referred to as automatic words or automatic sequences. Walnut is written in Java and is open source. It is licensed under GNU General Public License.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.