https://taco-mc.dev https://taco-mc.dev/theoretical-background https://taco-mc.dev/algorithms https://taco-mc.dev/usage-cli https://taco-mc.dev/install https://taco-mc.dev/commands https://taco-mc.dev/bymc-specification https://taco-mc.dev/tla-specification https://taco-mc.dev/advanced-configuration https://taco-mc.dev/dev-docs https://taco-mc.dev/about