|
|
|
|
|
|
by satthrow
2020 days ago
|
|
|
> 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 from the command-line. |
|
|