読む前に公式のREADMEが充実したので、そちらをご覧になってください https://github.com/gfngfn/SATySFi 現状ではこれを読むことによって得られる実用的な価値は特に…