try ./sage -i instead of sage -i
-- sent from a tablet, please excuse my brevity
On Dec 23, 2012 5:38 PM, Santanu Sarkar sarkar.santanu@gmail.com
wrote:
I want to install sat solver. I have the following error
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