Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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?

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?