minisat package icon
liftm/minisat

wasi

Public
wasmer run liftm/minisat

Unable to find a readme for this package

A minimalistic and high-performance SAT solver


Github