Improved (?) pluto heuristic.
commit22bc22b5276864bfd2e331e8a0988bf4ce0d591d
authorMaurizio Monge <maurizio@localhost.localdomain>
Tue, 9 Oct 2007 07:09:20 +0000 (9 09:09 +0200)
committerMaurizio Monge <maurizio@localhost.localdomain>
Tue, 9 Oct 2007 07:09:20 +0000 (9 09:09 +0200)
treea2d19ca6b83d9bc846c78c330ab2d1334b728bdd
parent6c3830902afd423fdec1f945f06ad1bc001c0ee7
Improved (?) pluto heuristic.
search.cpp
search.h [changed mode: 0644->0755]