Johannes Altmanninger
Johannes Altmanninger
On Mon, Apr 15, 2019 at 08:40:36AM +0000, Вячеслав Диконов wrote: > I have cyanide installed on a Jolla1 (SFOS 3.0.2.8). It works rather well, but there is no audible...
On Mon, Apr 15, 2019 at 09:25:33PM -0700, Вячеслав Диконов wrote: > jTox does not support voice/video calls. I have little use for pure text chats (and I need group...
I can probably add this soon. Voice calls should work in the latest release
https://github.com/irungentoo/toxcore/issues/878#
I actually tried to add the cover actions for changing the online status, but I didn't quite get it to work properly :| But I should be able to add...
> Hi, > > Thanks! I have heard about this issue before, I wonder where I'm producing the unit deletions. I tried to find these with rupee but it immediately...
> Hi, > > Actually, building `rate` didn't work either, please see above. Could you please make sure it works with rust that isn't literally `nightly version`? To me that...
There are indeed no deletions of size-one clauses, but there are deletions of clauses that are unit under the current assignment in the proof checker. This assignment is computed by...
I think I have two working patches for MiniSat 2.2 demonstrating ways to fix this. As @jix suggested, the [first patch](https://github.com/krobelus/minisat/commit/no-reason-deletions~) removes deletions of satisfied clauses in DRAT proofs (they...
> Hi, > > Those most likely will significantly damage CryptoMiniSat, as DRAT-Trim and all DRAT verifiers will take a lot more memory to run. Instead, I believe I should...