Search for a command to run...
wasi
Unable to find a readme for this package
A minimalistic and high-performance SAT solver