Fix broken Minisat build in Docker (#18)
Fix broken Minisat build in Docker (#18)

* cipher suite updated

* cipher suite updated

* cipher suite updated

* README updated

* hadipour improved S-box encoding

* Hosein added craftlinear

* Hosein added craftlinear

* Hosein revised skinny

* Hosein added skinnyrk

* UPDATE README.md

Fixing a typo

* Hosein added skinnyrk

* merge Alejandro Campos's fix on dockerfile
kste/cryptosmt