Automatic Theorem Proving in Walnut

03/18/2016
by   Hamoon Mousavi, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset