3 ms·Thanks. Is there such a good SAT solver you would recommend to try out?by flatfilefan 7y agoThanks. Is there such a good SAT solver you would recommend to try out?