sat-solver: Further trie speedup, by using ssize_t as index
sat-solver: Further trie speedup, by using ssize_t as index

opencog/link-grammar,MadBomber/link-grammar,opencog/link-grammar,MadBomber/link-grammar,opencog/link-grammar,linas/link-grammar,linas/link-grammar,opencog/link-grammar,ampli/link-grammar,opencog/link-grammar,linas/link-grammar,MadBomber/link-grammar,ampli/link-grammar,ampli/link-grammar,MadBomber/link-grammar,opencog/link-grammar,linas/link-grammar,linas/link-grammar,MadBomber/link-grammar,ampli/link-grammar,ampli/link-grammar,linas/link-grammar,MadBomber/link-grammar,linas/link-grammar,opencog/link-grammar,ampli/link-grammar,ampli/link-grammar,opencog/link-grammar,ampli/link-grammar,MadBomber/link-grammar,linas/link-grammar,ampli/link-grammar,MadBomber/link-grammar,linas/link-grammar,opencog/link-grammar