Method searchopt

server/Search.java:410–434 · view source on GitHub ↗

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

solutionMethod · 0.95

nextMethod · 0.95

phase1optMethod · 0.95

calcPruningMethod · 0.45

no test coverage detected