Imports github.com/go-air/gini github.com/go-air/gini/dimacs github.com/go-air/gini/inter github.com/go-air/gini/logic github.com/go-air/gini/logic/aiger github.com/go-air/gini/z Standard library imports bufio encoding/json fmt io io/ioutil os path/filepath strings time