ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 06 Sep 2018 12:14:04 -0500Usage of cryptominisathttp://ask.sagemath.org/question/43603/usage-of-cryptominisat/ I am using cryptominisat 5.0. I have a file of DIMACS standard format having a mix of cnf clauses and xor clauses( an “x” in front of the line to make that line an XOR clause). I saved it with filename DIMAC.cnf. I gave this file as input to cryptominisat as follows:
solver.read("/home/hridya/SageMath/DIMAC.cnf")
I got the following error.
ValueError: invalid literal for int() with base 10: 'x1'. What is the problem?HridyaThu, 06 Sep 2018 12:14:04 -0500http://ask.sagemath.org/question/43603/