Mate Soos
Mate Soos
I agree with Trevor here. For example, my first commit is from 2009 and so is Trevor's. Here is some food for thought: ``` $ git log | grep "Author:"...
@TrevorHansen Do you know what could be happening here?
Oh wow, that's almost certainly a bug. Do you have a fix for it? Wanna create a PR to fix? I can also fix, but I'd be happy to merge...
(Also, thanks a lot for finding it!!)
I have now fixed this. The `var_selected` always needs to be given. It's basically the projection set. If you give [1,2,3], it will give solutions over variables 1..3 only, so...
Ah, true. Sorry. Yeah, I think (2) is the best option for the moement. We could actually return 0/1, i.e. UNSAT/SAT in case it's an empty projection set. I will...
I have decided to delete `msolve_selected`. It is **always** possible to simply ban the solution in Python. This is much-much more user-friendly, and the performance overhead is minimal. Basically: 1....
The visualization backend is no longer maintained. I am now deleting all of `web/` and removing the submodules associated.
This has now been implemented into CryptoMiniSat. If you set `ENABLE_BNN` and put into the CNF: ` b lit1..litn 0 cutoff 0 [output_lit]` then you will be good to go....
Ah, likely some simplifications need to be turned off. Sorry, it's a bit untested. I'll check it later!