git: 9front

ref: 7ffe9c7f4214be8ae5e1e0357585b2df0c05cf41
dir: /sys/src/libsat/

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