Software

Requisitos de Software

Pedidos para instalação de novo software nos laboratórios do DEI na Alameda podem ser enviados para rnl@rnl.tecnico.ulisboa.pt.

Docentes que queiram garantir que o software necessário está disponível durante o ano lectivo devem enviar os seus requisitos nos meses de Junho e Julho. Para requisitos feitos fora deste período não é garantida a capacidade de fornecer o software antes do início das aulas.

A equipa da RNL só faz os testes básicos para garantir que o software é capaz de ser iniciado. Testes mais específicos devem ser feitos pelos docentes ou agendados com a equipa.

Lista de software instalado nos laboratórios

Linguagens (compiladores + bibliotecas e ferramentas relacionadas)

Linux

• Alloy
• Event-B (Rodin)

• C / C++
  • Compilers
    • GCC 4.8.5
    • GCC 5.3.1
    • clang 3.7
  • Libraries + Tools
    • boost 1.5.4.0
    • Eigen 3.2.0
    • Atlas 3.10.1
    • bison 2.7
    • byacc 1.9
    • flex 2.5
    • papi 5.5
    • nasm 2.10
    • yasm 1.2
    • openfst 1.5
    • SDL 1.2.15
• Java
  Ver Que versões do Java estão disponíveis e como as posso usar?
  • Compilers
    • OpenJDK 7
    • OpenJDK 8
    • OpenJDK 11
  • Libraries + Tools
    • JUnit 4.11
    • antlr 2.7.7
    • aspectj 1.8
    • javacc 5.0
    • juddi 3.3
    • Apache JMeter 3.3
    • Gradle 4.6
• Logisim
• C# (mono)
• Python (versões 2.7 e 3.4) Ver Que versões do python estão disponíveis e como as posso usar?
  • IPython
• Perl v5.18
• Common Lisp
  • Steel Bank Common Lisp (SBCL) 1.2
  • CLISP 2.49
• Scheme
  • Racket 5.3.6
• Prolog
  • SWI Prolog 7.2
• PHP 5.5
• Processing 2.0
• OCAML 4.02
• Haskell 2013.2.0.0
• NodeJs (5.4)
• Ruby 2.1
  • Ruby on Rails (3.2.13)

Windows

• Alloy

• C / C++
  • Visual C++ 2019 (Visual Studio 2019)
• Java
  • Oracle Java Development Kit 8
• C#
  • Visual C# 2019 (Visual Studio 2019)
• F#
  • Visual F# 2019 (Visual Studio 2019)
• Python (versões 2.7.17 e 3.8.1)
  • ActivePython 2.7 e 3.6
• Perl
  • ActivePerl 5.24.3
• Lisp
  • sbcl 1.4.2
• Prolog
  • SWI Prolog 7.6.4
• Dafny 2.1.1
• Processing 3.5.3
• Tcl
• Scheme
  • Racket 7.6

Ferramentas Auxiliares de Desenvolvimento

Linux

• gdb 7.11
• make 4.0
• ddd 3.3
• valgrind 3.11
• jdb 1.8
• ant 1.9
• maven 3.3
• autogen 5.18
• automake 1.13
• cmake 3.5
• webalizer 2.23

Windows

• maven 3.5.4

Ferramentas para Controlo de Versões

Linux

• GIT 2.6
• Mercurial 4.3.1
• SVN 1.9
• CVS 1.12
• Bazaar 2.7

Windows

• GIT

IDEs (+ plugins)

Nota: no caso do eclipse os ambientes podem ser configurados de acordo com o interesse de cada disciplina. Neste sentido agradecemos que nos comuniquem em detalhe o que necessitam.

Linux / Windows

• NetBeans IDE 8

Linux

• Wing IDE 101
• Android Studio 3.3.1
• MonoDevelop 3
• Eclipse Oxygen 2(especializado para as disciplinas de ES e SD)
  • C/C++ Development Tools (inclui Valgrind e gdb)
  • CVS, SVN, EGit, Mercurial
  • JavaScript Tools, Lua Tools, Node IDE, Ruby Tools, Scala Tools
  • Java EE Developer Tools (inclui JPA, JSF, Mylyn, Git2, Ant, Maven)
  • findbugs
  • Checkstyle (java -jar /opt/checkstyle/checkstyle-6.10-all.jar)
  • Texlipse
• IntelliJ Idea Community Edition

Windows

• Visual Studio 2019 Community Edition
• Wing IDE 101 7.2.1
• Eclipse Photon 4.8.0
• Android Studio 3.5
• Arduino IDE

Editores (vários)

Linux / Windows

• geany 1.36
• vim 8.2.260

Linux

• emacs 26.1.0
• LibreOffice 5.1
• kate 16.08
• gedit 3.16
• nano 2.4.2
• gobby 0.5
• lyx 2.3.3
• Kile 2.1.3
• Atom 1.8
• Visual Studio Code
• Jupyter

Windows

• Microsoft Office 365
• Notepad++

Frameworks (vários)

Windows

• .NET Framework 4.7.2

Edição / Publicação Científica (Tex/LaTeX)

Linux / Windows

• lyx 2.2.3

Linux

• texlive
• kile 2.1

Windows

• TeXnicCenter
• Pandoc

Outras Ferramentas

Linux / Windows

• Blender 3D 2.79

Linux

• OpenSSH 6.6, OpenSSL 1.0
• GnuPG
• Gnuplot 5.0
• NetLogo 5.3
• wget 1.14, curl 7.37
• nmap
• libvirt, KVM+QEMU 2.3 O libvirt não está configurado para os utilizadores, para qualquer uso além do trivial é necessário entrar em contacto com a equipa da RNL
• Sistema de Virtualização Este sistema de virtualização serve para os docentes correrem software encapsulado do restante ambiente, devem ser consultadas as condições de uso
• Graphviz 2.38
• MozillaThunderbird 2.38
• gns3 1.3

Windows

• Putty
• 7-Zip
• Kerberos 3.2.2
• OpenAFS 1.7.31
• Git Bash

Browsers

Linux

• Chromium 61.0
• Firefox 52.4

Windows

• Google Chrome
• Mozilla Firefox
• Internet Explorer 11

Bases de Dados

Linux / Windows

• PostgresSQL 12
  • pgAdmin4 4.18
• Sqlite 3.24.0
  • DB Browser for SQLite 3.10.1
  • SqliteMan 1.2.2 Ver DB Browser for SQLite

Linux

• MySQL
  • MySQL 15.1 Nota: usar os comandos mysql-local-{start,stop,client,help} para controlar uma instância local de MySQL. Por exemplo, para iniciar o servidor, correr o comando mysql-local-start.

Arquitectura de Computadores / Sistemas Operativos

Linux

• P3
• dineroIV 7
• TinyOS
• WINE 1.8
• Fuse 2.9.4
• Intel Pin Tool + exemplos

Windows

• WinMIPS 1.57

Computação Paralela

Linux

• OpenMPI 3.1.3 (disponível a partir do cluster da RNL)
• ompp 0.8.5
• HTCondor (disponível a partir do cluster da RNL)
• Apache Hadoop 2.7 (disponível a partir do cluster da RNL)

Computação Numérica

Windows

• MATLAB R2018b
  Inclui package Processing and Computer Vision

Multimédia (áudio, vídeo)

Windows

• K-Lite Codecs
• VirtualDub
• GIMP 2.10
• Inkscape 0.92.4

Linux

• Transcode
• MPlayer+MEncoder 4.8
• openSMILE
• sox 14.4
• libsndfile

Linux / Windows

• ffmpeg 4.2.2
• Audacity
• VLC Media Player (VideoLAN) 3.0.8

Datamining / Information Extraction / Machine Learning

Linux / Windows

• Weka 3.6.9
• Decision Tools Suite 7.6 Removido se não for feito pedido para manter

Linux

• Biggests 1.0.5 Será removido se não for feito pedido para manter
• Genesis 1.7.7 Será removido se não for feito pedido para manter
• M-MACBETH 3.1.0 Beta
• PROBE
• Decision Tools Suite 7.6
• NumPy+SciPy
• matplotlib
• scikit-learn