nuand·3 years ago·discusshttps://sat-smt.codes/ is the best introductory to expert, and reference work I've ever read on SAT/SMT solvers
nuand·3 years ago·discussI just ran these past OpenAssistant and I'm seeing a much higher error detection rate. I've tried 6 so far, and it's caught bugs in about 4. OpenAssistant actually had a very good technical explanation of the bug it found in the BubbleSort example.