git: 9front

ref: eae10ef4505d8e7735d6b68f01a85f2827a32402
dir: /sys/src/libsat/

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