C言語で制約論理プログラムができるiZ-Cでサンプルログラムを書き始めました。
ちょっと夢があるので見てね。
https://sunasunax.hatenablog.com