git: 9front

ref: 169a88f9fee8db5981c1cce1e77673cb7fbffd46
dir: /sys/src/libsat/

debug.c
impl.h
misc.c
mkfile
satadd.c
satget.c
satmore.c
satrange.c
satsolve.c