https://preview.hex.pm/preview/lts_spex/show/.formatter.exs 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/LICENSE 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/README.md 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/mix/tasks/spex.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/application.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/bisimilarity_checker.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/errors.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/impl_model.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/impl_model_store.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/instance_manager.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/instance_manager/distributed_instance_manager.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/instance_manager/instance.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/instance_manager/instance_store.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/instance_manager/server.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/instance_manager/simple_instance_manager.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/specification.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/lib/spex/testing.ex 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/mix.exs 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/priv/native/spex_merc_reduction_wrapper.so 2026-05-14T10:01:55Z daily 0.8 https://preview.hex.pm/preview/lts_spex/show/priv/native/spex_merc_wrapper.so 2026-05-14T10:01:55Z daily 0.8