minisat package icon
liftm/minisat

wasi

Public
wasmer run liftm/minisat

linux

x86_64-linux-gnu

minisat-linux-x86_64-2.2.0-1.tar.gz  

mac

arm64-apple-darwin

minisat-apple-arm64-2.2.0-1.tar.gz  

x86_64-apple-darwin

minisat-apple-x86_64-2.2.0-1.tar.gz