W3C home > Mailing lists > Public > www-archive@w3.org > March 2008

Skolem Euler Machine test results

From: <jos.deroo@agfa.com>
Date: Sun, 23 Mar 2008 01:24:08 +0100
To: www-archive@w3.org
Message-ID: <OF9CC62531.1BB57147-ONC1257415.000235D6-C1257415.000235F4@agfa.com>

SEM PROVER http://eulersharp.sourceforge.net/2006/02swap/sem.pl
|
SEM CHECKER http://eulersharp.sourceforge.net/2006/02swap/sem_tape.pl
>
http://eulersharp.sourceforge.net/2006/02swap/sem_test.ref
using test script
http://eulersharp.sourceforge.net/2006/02swap/sem_test
Received on Sunday, 23 March 2008 00:24:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:18:13 GMT