Directory listing for hls-tactics-plugin-0.5.1.0 source tarball

hls-tactics-plugin-0.5.1.0/src/Ide/Plugin/Tactic/KnownStrategies/