cryptosmt-python -- 2

implements-box with size 4 in python and analyse it by using cryptosmt tool .. for permutation its ok to use it in keccackdiff.py or Ascon ,the cipher in the tool . these two ciphers have 5 s-box so we need to make changes to suits s-box with size 4 .
you can find the tool in githup .
https://github.com/kste/cryptosmt