SATySFiのテキスト出力モードで遊ぼう!という記事に出てきたパッケージとクラスファイルです
git clone https://github.com/puripuri2100/SATySFi-make-saty.git
cd SATySFi-make-saty
opam pin add -v "file://$PWD"
satyrographos install
This software released under the MIT license.
Copyright (c) 2020 Naoki Kaneko (a.k.a. "puripuri2100")