Hridya's profile - activity

overview network karma followed questions activity

2019-02-04 11:21:32 +0200	received badge	● Popular Question (source)
2019-01-09 06:41:37 +0200	commented answer	How to convert boolean polynomials to DIMACS format? This gives a DIMACS file but how can we figure out boolean variables corresponding to the variable numbers in the DIMACS format?
2019-01-04 12:38:52 +0200	commented answer	How to convert boolean polynomials to DIMACS format? I have very large number of clauses in a list. Is there any other method to add clauses other than repeating the following for each clause? e.clauses_sparse(a*b + a + 1)
2019-01-04 12:29:15 +0200	received badge	● Supporter (source)
2019-01-04 10:29:14 +0200	asked a question	How to convert boolean polynomials to DIMACS format? In sage, boolean polynomials can be solved by solvers supporting the DIMACS input. Can we convert boolean polynomials to DIMACS format using sage?
2018-09-08 00:30:03 +0200	received badge	● Good Question (source)
2018-09-07 16:19:01 +0200	received badge	● Nice Question (source)
2018-09-07 07:16:39 +0200	commented question	Usage of cryptominisat That was a sample file: I will copy the contents here: c filename DIMAC.cnf p cnf 10 7 x1 2 8 9 0 3 -8 0 4 -8 0 5 -9 0 6 -9 0 9 -10 0 7 -10 0
2018-09-06 21:30:54 +0200	received badge	● Student (source)
2018-09-06 21:29:58 +0200	asked a question	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?