Zuse Institute Berlin
O Zuse Institute Berlin (em alemão: Konrad-Zuse-Zentrum für Informationstechnik Berlin, ZIB) é um instituto de pesquisas em matemática aplicada e ciência da computação em Berlim.
O ZIB foi legalmente estabelecido em 1984 como instituto de pesquisas não-universitário do estado de Berlim. Em cooperação interdisciplinar com as universidades e instituições científicas de Berlim, o Zuse Institute implementa pesquisa e desenvolvimento nos campos da tecnologia de informação com foco principal sobre algorítmos matemáticos orientados a aplicações e ciência da computação prática.
O instituto é denominado em memória de Konrad Zuse, nascido em Berlim em 1910.
SCIP (software de otimização)
| SCIP | |
|---|---|
| Desenvolvedor | Zuse Institute Berlin |
| Lançamento estável | 10.0.0
/ novembro de 2025 |
| Sistema operacional | multiplataforma |
| Disponível em | Inglês |
| Tipo | Otimização |
| Licença | apache 2.0 |
| Website | www |
SCIP (em português: solucionando problemas de restrição inteira) é um solver para problemas inteiros mistos e framework para branch and cut e branch and price, desenvolvido pelo instituto Zuse de Berlim. SCIP da acesso de baixo nível para o usuário, assim como informações sobre todo o processo. É um dos solvers gratuitos mais velozes disponíveis para problemas inteiros mistos.[1]
SCIP é implementado como uma [1]biblioteca para a linguagem C. Classes em C++ são utilizadas para plugins. O solver para problemas lineares relaxados não vem incluso no SCIP, sendo usada uma interface para uso de outros solvers, como CLP, CPLEX, MOSEK, SoPlex e Xpress.
SCIP é compatível com sistemas operacionais Linux, Mac, Sun e Windows, com uso regulamentado pela licença Apache 2.0. Antes da versão 8.0.3, era regido por uma licença especial para uso acadêmico. [2]
Funcionalidades
O SCIP foi feito baseado em restrições, tendo implementado mais de 20 tipos de restrições distintas para uso em problemas de otimização linear inteiros mistos, otimização não linear, otimização quadrática e Pseudo-booleana. Também pode solucionar arvores de Steiner e problemas multi-objetivos.[3][4]
Interfaces
Existem muitas bibliotecas disponíveis para utilizar como interface para o SCIP em linguagens além de C. O uso pode ser feito através da ferramenta de modelagem GAMS. Interfaces para MATLAB e AMPL também são disponibilizadas pelos desenvolvedores. Mantenedores externos também criaram interfaces para Python, Java, Julia e Rust.[5]
Ligações externas
- ↑ Mixed Integer Linear Programming Benchmark Arquivado em 2011-07-18 no Wayback Machine Mar 18, 2012.
- ↑ Release notes for SCIP 8.0 Feb 15, 2023.
- ↑ A Generic Approach to Solving the Steiner Tree Problem and Variants Nov 9, 2015.
- ↑ PolySCIP Aug 15, 2016.
- ↑ scipopt May 22, 2023.