sksat

とりあえず Issue 立てました: #613

なるほど，これは特に考えていなかったです & s2e-core を取り込む想定でよいと思います > s2e-coreをsubmoduleとして取り込まない場合も想定 これには明確に反対の立場です．出自とカテゴリが似通っているというだけで，ビルド時に使うモノとランタイムに使うモノはデータのライフサイクルが異なるからです．これらのデータの場所を固定することによって ini ファイル内で s2e-core のディレクトリ構造や実行時のパスからの s2e-core へのパスなどを考慮しないといけなくなってしまうのはユーザ体験が非常に悪いと感じています． > `ExtLibraries/cspice`と`cspice/de430.bsp`などが同じcspiceでまとまっている方がわかりやすいかもしれない． `initialize_files` ディレクトリは不要な気がしますが，基本的にはそのような分類を行うことに賛成です． > 次のような分類分け

「初期化のためのファイル」みたいな分類をディレクトリ単位でする必要はそんなにないのでは，とは思っています．入力・出力にそれぞれたくさんのファイル・ディレクトリがあるのであればまだしも，出力ファイルは `logs` に出ることが明らかですし．

実はもうやっている - #39 - #42 - #43 - #45 - #46

Linux環境・CI上(正確には`cmake`を直接叩く環境)ではやるだけではあるが， - 単純にドキュメントが無い - Visual Studioからポチポチしてどうにかなるわけではない という問題がある ref: https://github.com/ut-issl/s2e-core/issues/85#issuecomment-1101262322

とりあえず最初はPRにコメントとしてグラフを出すぐらいのやつでいいのでやっていく https://github.com/ut-issl/s2e-core/issues/85#issuecomment-1101265870

単純なiniの置き換えだとtomlかなーという気持ちです．C++向けならいいかんじのライブラリもあります． https://github.com/ToruNiina/toml11

[mc.yohane.su](https://github.com/sksat/mc.yohane.su) の `deploy-plugin.sh` とか，こうした上で`BEFORE_RESTART`で走るべきでしょ

あーこれは破壊的変更なのか

んー，命名がムズいな．破壊すべきやつかも．