Hi, Actually I am implementing an attack on cipher. For that I need some SAT computation. Since SAT computation can be done easily in SAGEMATH. So my program looks something like:
- I write some code in C
- Then I will pass some input to SAT i.e. to SAGEMATH (jupyter notebook)
- Take the output in C , verify
- Again run 1,2,3 for finite number of times.
I check SAGE documentation for a piece of Cython code but that worked for small example but the program gets complicated it returns some error. Can you guide me in this way or provide me some references? Which is faster calling sage from c OR calling c from sage jupyter notebook? Thanks for your help.
