nuXmv HWMCC'13 submission
The new core bit-level engine of nuXmv, that participated in the Hardware Model Checking Competition 2013 (HWMCC'13),
is now available for download.
Notice that:
- Only non-commercial, academic use is allowed.
- Source code is available, only for reading with no right of modification.
See the LICENSE.txt file inside the tarball for complete licensing information.