Mate Soos

This has now been added. Please compile `DimacsParser` with `ENABLE_BNN`. It's experimental, but should work. You can then add atMost constraints through a CNF file. Otherwise, you can `add_bnn_clause`. Mate

Sorry, but I cannot debug this unfortunately. I need to close, because there is too little information here to be able to fix. You can re-open this issue, of course,...

Hi, Can you please check again? I have completely removed the `cconf` and so I believe it should build now? Thanks, Mate

Glad to see!

Hi, Let me bump this issue a bit :) First, I added `set(CMAKE_CXX_STANDARD 17)` so that should take care of it being compiled with C++17. Second, I added a PyPi...

Sorry again for the mess @snerligit . This issue should now be fixed :) I am closing this as I have verified that the released version has the correct `NOMPI`...

We have now moved to FRAT, and the `frat-rs` verifier, here: https://github.com/digama0/frat/issues This removes the issues of deleting unit clauses from the proofs, since FRAT does not allow for that....

Ah, thanks for the reply! Below is a cleaner, reproducible setup with binaries attached. I build cryptominisat as such: ``` git clone https://github.com/msoos/cryptominisat cd cryptominisat mkdir build cd build rm...

`DW_AT_sec_offset`... hmmm maybe some security hardening flag I set in GCC? I'm guessing because of the "sec" here. Let me check.

Crap, it has nothing to do with it :S It's section offset: http://wiki.dwarfstd.org/index.php?title=DW_FORM_sec_offset Seems to be a new thing? I am admittedly using Arch Linux which tends to be pretty...