07:13 MrCooper: illwieckz: switching the default would break some setups which are working with the radeon driver, in some cases for no benefit in return; it might make more sense to make it easier to opt into amdgpu for those who want e.g. Vulkan
15:20 culuar: I looked once more, but my body is exhausted , there is one more link i want to post. Describing how literal clause inference in the bitpacked word paradigm, actually works. https://www.cs.cmu.edu/~15414/s20/lectures/19-optimized-sat.tex
15:20 culuar: my body is exhausted cause i played one day table tennis though, and i never trained.
15:33 culuar: this is two fold issue for me, ever since 2001 i became partially disabled, and i can not work it out without help my own, someone failed to erase me completely, but generally i am a good person, and i think world has more good people than the other way around. But other stuff, just look from the links.
15:48 culuar: the bit packing happened in the same glasgow solver file, they do things like this, it was the same state file, i am booting myself to sleep i am afraid today, max three days partial cramps can last.
15:49 culuar: professional programming is very difficult too, i have been in deep problems tbh.
15:56 culuar: but overall you would want to throw in a solver equation for solving after the state has been understood in the c++ files, and one way which is very efficient but not the last high end, is 1+2+3+4 and their masks to represent the individual bits of 32 bit variable, it is easy concept, all that i know, but the code is rather long for the whole of the solver which is very convenient way to solve the task
15:56 culuar: and i am so injured that i can not break through so fast from the riddle
18:05 mlankhorst: I think josh has been surpassed by LLM's. :(