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 message: [ Message body ]
Next message: Henri Sivonen: "Conformance requirements for relevant"
Previous message: Henri Sivonen: "Running a local copy on Validator.nu (was: Re: DogFood)"
Next in thread: jos.deroo@agfa.com: "Re: Skolem Euler Machine test results"
Maybe reply: jos.deroo@agfa.com: "Re: Skolem Euler Machine test results"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:10:26 GMT