On Fri, 21 Apr 2023, 15:32 Dibyendu Roy, <dibyendu.roy1...@gmail.com> wrote:
> Dear all,
>
> Could you please help me to install cryptominisat in Macbook m2.
>
> I am getting error after giving the following command
>
> sage: libgap.InstallPackage("Cryptominisat")
>
no wonder - cryptominisat is not a GAP package.
If you installed Sage from source, you can do
make cryptominisat
in the terminal, in the root source directory of Sage
--
> You received this message because you are subscribed to the Google Groups
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-support+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-support/CAAHZfo5ghJVxewUvgSrDeXjaDEo8iLf2HeJmC2P81PCZsi_XLg%40mail.gmail.com
> <https://groups.google.com/d/msgid/sage-support/CAAHZfo5ghJVxewUvgSrDeXjaDEo8iLf2HeJmC2P81PCZsi_XLg%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/CAAWYfq1PJDPZqFiGkAx7cboZmX98eE7Hm0r2CuyJjCD6tCEvQQ%40mail.gmail.com.
