NuZot is a Scala porting of the legacy Zot tool which was developed in Lisp by Matteo Pradella et al. from the Politecnico di Milano.
NuZot has been developed by PuzzleDev under the direction of deparmtent DEI of the Politecnico di Milano. Please check the contributors list for further details.
Please check running NuZot for information how to run NuZot.
If you are looking for examples of script please check the basic tutorial page.
Additional information can be found in the advanced tutorial page.
NuZot solves LTL problems which can be expressed with an SMT-lib like grammar. Please check the grammar definition for a full grammar specification.
If you are interested in understanding the theory behind NuZot please check the related works and the publications pages.
If you are interested in projects using NuZot please check the projects using NuZot page.
The legacy Zot lisp source code is available online from the Zot googlecode website.
A tutorial explaining how to build NuZot can be found on the building NuZot page.
Testing information can be found on the testing NuZot page.