3 ms·
For a moment I thought cool yet a another SAT solver having a chemical as a name. This is nothing new I am thinking of Glucose solver ...
by freemint 5y ago
For a moment I thought cool yet a another SAT solver having a chemical as a name. This is nothing new I am thinking of Glucose solver ...
- daniel-cussen 5y agoSame, I was ready to get my mind blown about how Methane molecules got wrangled into solving SAT.