//
pkg.gl
Category
github.com/neuralchecker/go-model-extractor
automata
learners
table
package
0.2.1
Repository:
https://github.com/neuralchecker/go-model-extractor.git
Documentation:
pkg.go.dev
Overview
Versions
1
Dependencies
8
Dependents
0
Files
282 SLOC
context
github.com/neuralchecker/go-adt/set
github.com/neuralchecker/go-automata/automata
github.com/neuralchecker/go-automata/base_types/sequences
github.com/neuralchecker/go-automata/interfaces
github.com/neuralchecker/go-model-extractor/automata/learners
github.com/neuralchecker/go-model-extractor/automata/learners/table/otables
github.com/neuralchecker/go-model-extractor/automata/learners/table/translators