Package com.googlecode.concurrenttrees.solver