From csteme at swansea.ac.uk  Fri Nov  7 16:17:58 2008
From: csteme at swansea.ac.uk (Temesghen Kahsai)
Date: Fri, 7 Nov 2008 15:17:58 +0000
Subject: [Hets-users] Hets strange error
Message-ID: <494210DA-4A79-44C0-9150-C64FEF672F48@swansea.ac.uk>

Hello there,

I m running hets (version 0.9) on OS X 10.5.5 but the following error  
keep on appearing :

 > hets
dyld: Library not loaded: /home/maeder/gtk/inst/lib/libglade-2.0.0.dylib
   Referenced from: /Users/Teme/Hets/lib/hets/hets-0.9
   Reason: no suitable image found.  Did find:
         /home/maeder/gtk/inst/lib/libglade-2.0.0.dylib: stat() failed  
with errno=5
Trace/BPT trap

Any idea how to solve it?

Thanks.

    Teme
--------------------------------------------------
Temesghen Kahsai  (PhD student)
Phone: +44 1792 205678, ext: 4534
Cel: + 44 7961270152
web: http://www.cs.swan.ac.uk/~csteme
  Dep. of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP, UK
-------------------------------------------------






From luecke at informatik.uni-bremen.de  Fri Nov 14 15:58:25 2008
From: luecke at informatik.uni-bremen.de (Dominik Luecke)
Date: Fri, 14 Nov 2008 15:58:25 +0100
Subject: [Hets-users] Announcing support for Pellet 2
Message-ID: <491D9211.7070602@informatik.uni-bremen.de>

Hi,

Hets now supports Pellet 2 as a Prover and Consistency Checker. Pellet 2
is available from

http://pellet.owldl.com/download

to use it, the enviroment variable

PELLET_PATH

need to be set to the root of your Pellet installation and the file
pellet.sh in the root directory of the Pellet installation need to be
executable for you.

Regards,
 Dominik

-- 
Dominik Luecke                 Phone +49-421-218-64265
Dept. of Computer Science      Fax   +49-421-218-9864265
University of Bremen           luecke at informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen
PGP-Key ID 0x766B1F6B