The cryptominisat package is already included in the recommended macOS
binary distribution of SageMath.
% sage
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 9.8, Release Date: 2023-02-11 │
│ Using Python 3.11.1. Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘
sage: from sage.sat.solvers.cryptominisat import CryptoMiniSat
sage:
On Friday, April 21, 2023 at 9:32:10 AM UTC-5 Dibyendu Roy 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")
>
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/20c00102-7b13-4641-8a6b-e47a4f33e5a0n%40googlegroups.com.
