Integrate into SageMaths sbox class
pfasante opened this issue · 1 comments
pfasante commented
Two points needed from my point of view:
- Add ESPRESSO to sage (see https://groups.google.com/g/sage-devel/c/fECjDlKAroU/m/y89rkByzBAAJ).
- Include this tool in the SageMath sbox class (will need to look at the code for more details how to best do this).
hadipourh commented
The tool is online now!