Simeck Cube SMT

Cube and SMT based Cube Analysis of Simeck

About

Improving SMT-based Analysis of Simeck by Cube Characteristics

Support

For Cube Analysis: Microsoft Windows
For SMT-based Analysis: Microsoft Z3 SMT Solver Version 4.4.2 and Python Version 2.7

Usage

For Cube Analysis: Run the simeck.exe executable
For SMT-based Analysis: Run the python scripts