SICS Intelligent Systems Laboratory
Swedish Institute of Computer Science
http://www.sics.se/isl/

Software

Available software developed by current and former members of the laboratory.

Commercial Software

Free Software

  • TAC servers and agentware - for TAC Classic and TAC SCM (see "Software")
  • AKL/AGENTS - one of the first serious CCP language implementations (download)
  • Penny - a parallel implementation of AKL (download)
  • Aurora - an OR-parallel version of (an old version of) SICStus (download)
  • ft - an intuitionistic predicate logic theorem prover (download)
  • Mixtus - an automatic partial evaluator for full Prolog (free but registration required)
  • PRM - a Problem Report Manager (download)
  • wm_match - matching transcription factor weight matrices to DNA sequences (download)
  • wm_align - multiple alignment of short DNA sequences

Copyright © 2004 SICS AB, All Rights Reserved.
For more information on the SICS Intelligent Systems Laboratory please email sverker@sics.se.