{title}Hets: download and installation{/title}
{author}maeder{/author}
{text}
<p>Try out Hets, using the <a
 href="http://rest.hets.eu/">Web-based interface</a>
<p>The Hets license (<a href="LICENSE.txt">English</a> <a
 href="LIZENZ.txt">German</a>) is <a
 href="http://en.wikipedia.org/wiki/GNU_General_Public_License">GPL</a>. See at the end of this page how to obtain the sources.

<p>Report a <a href="mailto:hets-devel@informatik.uni-bremen.de">bug</a> or see
  the list of known issues on our
  <a href="https://github.com/spechub/Hets">Hets
    development site</a>.

<h1>The best way to use hets is under Ubuntu. Possibly run this OS in a virtual
  box.</h1>
A compressed (1.2G, uncompressed 4.2 G) virtual box image can be <a href="vbox-x86-linux">downloaded from
  here</a>. username/password is ubuntu/reverse.

<h2>Hets under Ubuntu Trusty Tahr (14.04)</h2>
<ul>
<li> the basic system
<pre>
sudo apt-add-repository ppa:hets/hets
sudo apt-get update
sudo apt-get install hets-core
</pre>
</li>
<li> additionally, you can install (via apt-get) <tt>hets-ontology</tt>
<li> for the full system including all of these, use <tt>hets</tt> instead of <tt>hets-core</tt></li>
<li> for Hets development, additionally type in:
<pre>
sudo apt-add-repository -s "deb http://ppa.launchpad.net/hets/hets/ubuntu trusty main"
(or: sudo apt-add-repository "deb http://ppa.launchpad.net/hets/hets/ubuntu precise main")
sudo apt-get update
sudo apt-get build-dep hets
</pre>
The Hets sources should be obtained from the subversion repository (see the end of this page).
</li>
</ul>
For Ubuntu Saucy (13.10) replace "trusty" in the command above.

<h2>Hets Images for Mac OS X 10.9 (Mavericks)</h2>
<ul>
<li>
<a href="intel-mac/dmgs/">Disk images for the Hets application</a>
have only limited functionality. (GTK based menus are missing.)
</ul>

<h2>Hets binaries are available here:</h2>
(these are usually not needed but may replace the binaries from above)
<ul>
<li><a href="linux/daily/">Linux daily snapshot</a> &nbsp;&nbsp;
<a href="linux/releasedhets.bz2">latest release</a> &nbsp;&nbsp;
<a href="linux/versions/">all versions</a> </li>
<li><a href="linux64/daily/">x86_64 Linux daily snapshot</a> &nbsp;&nbsp;
<a href="linux64/releasedhets.bz2">latest release</a> &nbsp;&nbsp;
<a href="linux64/versions/">all versions</a> </li>
<li><a href="intel-mac/daily/">(Mavericks) Intel Mac daily snapshot</a> &nbsp;&nbsp;
<a href="intel-mac/releasedhets.bz2">latest release</a> &nbsp;&nbsp;
<a href="intel-mac/versions/">all versions</a> </li>
<li><a href="pc-solaris/daily/">PC Solaris daily snapshot</a> &nbsp;&nbsp;
<a href="pc-solaris/releasedhets.bz2">latest release</a> &nbsp;&nbsp;
<a href="pc-solaris/versions/">all versions</a> </li>
</ul>
<h3>How to use a hets binary?</h3>
Just download the binary and put it somewhere in the $PATH.
<ul>
<li>Our current linux binaries also rely on gtk-2 and glade-2 libraries
 for more and better menus. Thus you may need to install additional libraries.
 Use ldd (or "otools -L hets" on Macs) to see which libraries are missing.)</li>
<li>For displaying development graphs (with the -g option), you need
 to install
 <a href="http://www.informatik.uni-bremen.de/uDrawGraph/en/">uDraw(Graph)</a>
 (formerly known as daVinci) that relies
 on <a href="http://www.tcl.tk/software/tcltk/8.4.html">Tcl/Tk (version 8.4 or 8.5)</a>
 (which probably has been already installed on your computer anyway).
 Make sure uDrawGraph and wish are in your $PATH.
</li>
</ul>
 Download the
 <a href="http://www.cofi.info/Libraries">CASL libraries</a>
 and set $HETS_LIB to the folder containing these.<br>

<h3>How to install software needed for theorem proving with Hets? (only needed when working with the binaries)</h3>
<ul>
<li>For interactive theorem proving you may install
 <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">Isabelle</a>.</li>

<li>For automatic theorem proving you may install
 <a href="http://spass.mpi-sb.mpg.de/">SPASS</a> and/or
 <a href="http://combination.cs.uiowa.edu/Darwin/">Darwin</a>.</li>

<li>For reasoning about OWL specifications you may install
 <a href="http://clarkparsia.com/pellet/">Pellet</a>
 and set $PELLET_PATH to the directory containing the script pellet.sh.</li>
</ul>

<h2>Obtaining the Hets sources</h2>
Hets is written in <a href="http://www.haskell.org">Haskell</a>.
You can obtain the Hets sources from the git repository with:
<pre>
git clone https://github.com/spechub/Hets
</pre>
{/text}