git: 9front

ref: b1af5fa77fac931dc8d0d8a459c8c9154e473242
dir: /sys/src/libsat/

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