A JVM (Scala / Java) implementation of A* (A Star), parametric in the possible states and transitions.