VeriPB/target/
Satsuma/dejavu/dejavu.o
Satsuma/dejavu/dejavu
Satsuma/cvec.o
Satsuma/hashmap.o
Satsuma/satsuma.o
Satsuma/satsuma
build/
veripb
satsuma
kissat
makefile