ranea / boolcrypt Goto Github PK

When the incoming parameter of get_all_self_ae in BoolCrypt under sboxu is list (SMS4), the result cannot be obtained for a long time. How long does it normally take to obtain the result

hello.
'sage -i cryptominisat' makes error whether in linux shell or in sage shell.

lby@lby-virtual-machine:$ sage -i cryptominisat
make: *** No rule to make target 'all-toolchain'. Stop.
lby@lby-virtual-machine:$ sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 9.5, Release Date: 2022-01-30 │
│ Using Python 3.10.6. Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘
sage: sage -i cryptominisat
File "", line 1
sage -i cryptominisat
^
SyntaxError: invalid syntax