git: 9front

ref: 28ccd44b638d9ad7aa13be09cf38483df4f0b723
dir: /sys/src/libsat/

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