Pridano solving_engine.cc - implementace IDA* alg.