Viewing profile — satthrow
satthrow
HN member- Joined
- Fri, Dec 11, 2020, 10:30 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About satthrow
No profile information was provided.
Recent public activity
-
comment
Comment #25392333
> 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…