analyze

Imports

• github.com/google/subcommands

Imports in module “github.com/nelhage/taktician”

• github.com/nelhage/taktician/prove
• github.com/nelhage/taktician/cmd/internal/opt
• github.com/nelhage/taktician/tak
• github.com/nelhage/taktician/ai
• github.com/nelhage/taktician/ai/mcts
• github.com/nelhage/taktician/cli
• github.com/nelhage/taktician/ptn

Standard library imports

• bufio
• context
• flag
• fmt
• log
• os
• runtime/pprof
• strings
• time