git: 9front

ref: 42f800d4d564c34db94b6b5bbda3d900b86980ea
dir: /sys/src/libsat/

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