Computer Chess Club Archives




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.


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.