Try running "sage -b" to compile the Sage interface to CryptoMiniSat.
On Monday 18 Nov 2013 15:48:24 Santanu Sarkar wrote:
> Dear all,
> I am trying to install cryptominisat in my Ubuntu 13.10. But I have the
> following
> error.
>
> sage: B = BooleanPolynomialRing(10,'x')
> sage: I = Ideal(B.random_element() for _ in range(10))
> sage: import sage.sat.boolean_polynomials
> sage: sage.sat.boolean_polynomials.solve(I.gens())
> ---------------------------------------------------------------------------
> ImportError Traceback (most recent call last)
> <ipython-input-13-c4875d7744cb> in <module>()
> ----> 1 sage.sat.boolean_polynomials.solve(I.gens())
>
> /home/santanu/Downloads/sage-5.12-linux-32bit-ubuntu_13.04-i686-Linux/local/
> lib/python2.7/site-packages/sage/sat/boolean_polynomials.pyc in solve(F,
> converter, solver, n, target_variables, **kwds)
> 150
> 151 if solver is None:
> --> 152 from sage.sat.solvers.cryptominisat import CryptoMiniSat as
> solver
> 153
> 154 if not isinstance(solver, SatSolver):
>
> /home/santanu/Downloads/sage-5.12-linux-32bit-ubuntu_13.04-i686-Linux/local/
> lib/python2.7/site-packages/sage/sat/solvers/cryptominisat/__init__.py in
> <module>()
> 2 from cryptominisat import CryptoMiniSat
> 3 except ImportError:
> ----> 4 raise ImportError("Failed to import
> 'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run
> \"install_package('cryptominisat')\" to install it.")
> 5
> 6 from solverconf import SolverConf
>
> ImportError: Failed to import
> 'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run
> "install_package('cryptominisat')" to install it.
>
>
> I have already installed cryptominisat. Hence I am getting
>
> sage: install_package('cryptominisat')
> ---------------------------------------------------------------------------
> ValueError Traceback (most recent call last)
> <ipython-input-14-93ad48af6de9> in <module>()
> ----> 1 install_package('cryptominisat')
>
> /home/santanu/Downloads/sage-5.12-linux-32bit-ubuntu_13.04-i686-Linux/local/
> lib/python2.7/site-packages/sage/misc/package.pyc in
> install_package(package, force)
> 169 if not force:
> 170 if is_package_installed(package):
> --> 171 raise ValueError, "Package is already installed.
> Try install_package('%s',force=True)"%(package)
> 172 raise ValueError, "There is no package name starting with
> '%s'."%(package)
> 173 # len(L)==1, i.e. exactly one package matches the given one.
>
> ValueError: Package is already installed. Try
> install_package('cryptominisat',force=True)
> sage:
--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: [email protected]
signature.asc
Description: This is a digitally signed message part.
