Mate Soos comments

Results 264 comments of


                                            Mate Soos

Running into error when running with file containing XOR vales as x .. ..

Hi, The solution is to add the XORs as CNF. You can convert them using https://github.com/msoos/cnf-utils/blob/master/xor_to_cnf.py Just clone the repository and run it on your CNF. Or, you can blast...

Running into error when running with file containing XOR vales as x .. ..

I am closing because we don't support XORs this way. They need to be added via CNF as explained above.

Python xor clauses with inverted literals disallowed

Hi, It kind of is. You can edit the code, though, if you like, to count the negations, and change the RHS. Or you can just do it outside of...

Python xor clauses with inverted literals disallowed

Closing, waiting for the PR :)

Added the use of variable names other than 'x'

Thanks, looks nice! I'll review tomorrow, but it looks good to me :)

Added the use of variable names other than 'x'

Hi, I have now made the GitHub actions work, and build a binary for linux amd64 and arm64, and mac arm64. It now also runs a test suite. You can...

Added the use of variable names other than 'x'

Hi! I just meant that I saw you added some test cases -- I was just trying to ask you to adjust your test cases to the pattern that's in...

Added the use of variable names other than 'x'

Let’s not make it work for special characters :) Instead, let’s emit an error of that happens. On Mon 7. Apr 2025 at 11:35, mocenigo ***@***.***> wrote: > ***@***.**** commented...

Added the use of variable names other than 'x'

Can't seem to be able to rebase to remove those ANF and CNF and RESOLVE files. Can you please remove them from your PR?

Support for more letters than 'x'

Hi, My suggestion is to renumber them. x0...x10 is x0..x10, x11..x21 is y0..y10 etc. A python script can do this in about 3 lines. Nevertheless, a pull request to bosphorus...