Computer Chess Club Archives


Search

Terms

Messages

Subject: Storm to PVS

Author: Sean Empey

Date: 11:34:58 08/02/04


I plan on converting Storm from ABDADA to PVS. Any advice one making this move?

Thanks in advance.

-Sean



This page took 0 seconds to execute

Last modified: Thu, 15 Apr 21 08:11:13 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.