sksat

それはそれとして，c2a-core のインターフェース定義をするヘッダと，c2a-core が設定値のデフォルト値を提供するヘッダは分割したい

`c2a-core/Settings/default_hoge.h` みたいなかんじになるのかな

エーーー ``` CMake Error at CMakeLists.txt:5 (project): Generator Ninja does not support platform specification, but platform Win32 was specified. ```

あーーー，いや，これ `CMakeSettings.json` で generator 指定するやつか（VS CMake はビックリドッキリで困る）

なんかむしろ遅くなっていて謎だな

気持ち速い感はありつつ，standard GitHub hosted runner が 2core なのもあってそんなに差無いなあ......どちらかというとキャッシュすべきか

前言っていたのはこれですね https://github.com/LoliGothick/mitama-dimensional

はい．これはその通りで，あくまで最初のミニマルな改善提案だというのと，単にレビューコストを下げるためにパッチを分割していただけです > Geopotentialだけ動かすのはそれはそれで整合性が取れなくなる 必須データかどうか，によって分け方を考えた方がよい，というのはあんまりわかっていないです． これはディレクトリの分割方針というよりかは，ドキュメントやスクリプトの責務な気がしています． 例えば，「標準的なファイルだけまとめてダウンロードする」みたいなスクリプトはあってよいと思いますが，ディレクトリとは別の話かなと． データのライフサイクルという観点だと，今重要なのは「ビルド前に（操作が）必要か（ビルド時に必要なライブラリのダウンロード）」「ビルド時に必要か（リンクする）」「実行時に必要か（初期化時に読み込む）」という区別が重要だと考えていて，この PR は実行時に必要なモノをすべて `data` に移動したい，というアイデアです．

あー，なるほど．S2E user ごとに管理するべきものと，各シミュレーションケース（ex: `data/sample`）毎に管理すべきデータがあるのではないか，という話か．理解しました． > 頻度

ということであれば，`data` ディレクトリに置くべきかどうかの議論，というよりは，`data` ディレクトリのどこに置くべきか，という議論をするのが建設的な気がしますね．そうなるとここでも `external` はちょっと一般的すぎて微妙な命名かもしれません．