satthrow

↗ HN profile [ 39.8 ms ] full profile

Karma: 1
Created: December 11, 2020 (5y ago)
Submissions: 0

> The MiniSat solver is Sentient’s default. It is a version of MiniSat that has been compiled to JavaScript with Emscripten. This means that it can run in a web browser and it does not have any dependencies when run…

5y ago · view thread · ↗