Cryptominisat in Sage

[Dibyendu Roy]

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")

[Dima Pasechnik]

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...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAHZfo5ghJVxewUvgSrDeXjaDEo8iLf2HeJmC2P81PCZsi_XLg%40mail.gmail.com.

[Marc Culler]

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: