Changes

==Prover==

'''Prover''' was a [[Proof-Number Search]] implementation for chess, using chess-specific routines of Duck. Provers only goal was [[Mate Search|searching for mate]] <ref>[[Dennis Breuker]], [[Victor Allis]], [[Jaap van den Herik]] ('''1994'''). ''How to Mate: Applying Proof-Number Search''. [[Advances in Computer Chess 7]], reprint as [http://www.top-5000.nl/ps/Mate%20in%2038-%20applying%20proof%20number%20search%20to%20chess.pdf Mate in 38: Applying Proof-Number Search] from [[Ed Schroder|Ed Schroder's]] [http://www.top-5000.nl/prostuff.htm Programmer's Stuff site] » [[Proof-Number Search]]</ref>.

=Publications=

=References=

<references />

'''[[Engines|Up one Level]]'''

[[Category:Bird]]

[[Category:Pat Metheny]]