[sage-support] Sat Solver

2012-12-23 Thread Santanu Sarkar 
Dear all,
 To solve a SAT problem, when I have written  the following, I got error.

from sage.structure.sequence import Sequence
from sage.rings.infinity import PlusInfinity

from sage.sat.solvers import SatSolver
from sage.sat.converters import ANF2CNFConverter



Traceback (click to the left of this block for traceback)
...
ImportError: No module named sat.solvers

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.

Re: Re: [sage-support] Solve system of non linear equations

2012-12-23 Thread Martin Albrecht 
try ./sage -i instead of sage -i

-- sent from a tablet, please excuse my brevity
On Dec 23, 2012 5:38 PM, "Santanu Sarkar" 
wrote:

> I want to install sat solver.  I have the following error
> a@a-Compaq-Presario-C700-Notebook-PC:~/Downloads/sage-5.2-linux-32bit-ubuntu_12.04_lts-i686-Linux$
> sage -i cryptominisat-2.9.5
>
> mkdir: cannot create directory `/usr/lib/sage/spkg/logs': Permission denied
> Calling sage-spkg on 'cryptominisat-2.9.5'
> tee: /usr/lib/sage/install.log: Permission denied
> tee: /usr/lib/sage/spkg/logs/cryptominisat-2.9.5.log: No such file or
> directory
> Attempting to download package cryptominisat-2.9.5
> http://www.sagemath.org//packages/optional/cryptominisat-2.9.5.spkg -->
> cryptominisat-2.9.5.spkg
> [ ]
> http://www.sagemath.org//packages/standard/cryptominisat-2.9.5.spkg -->
> cryptominisat-2.9.5.spkg
> [ ]
> http://www.sagemath.org//packages/experimental/cryptominisat-2.9.5.spkg--> 
> cryptominisat-2.9.5.spkg
> [ ]
> http://www.sagemath.org//packages/archive/cryptominisat-2.9.5.spkg -->
> cryptominisat-2.9.5.spkg
> [ ]
> **
> * Unable to download cryptominisat-2.9.5
> * Please see http://www.sagemath.org//packages for a list of valid
> * packages or check the package name.
> **
> Error: Failed to download package cryptominisat-2.9.5 from
> http://www.sagemath.org/
>
>
>
> On 13 December 2012 16:45, Martin Albrecht  > wrote:
>
>> sage -i cryptominisat-2.9.5
>
>
>  --
> You received this message because you are subscribed to the Google Groups
> "sage-support" group.
> To post to this group, send email to sage-support@googlegroups.com.
> To unsubscribe from this group, send email to
> sage-support+unsubscr...@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-support?hl=en.
>
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.