miniatura|O Konrad-Zuse-Zentrum für Informationstechnik Berlin O Zuse Institute 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 (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.Mixed Integer Linear Programming Benchmark Mar 18, 2012.
SCIP é implementado como uma 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. Release notes for SCIP 8.0 Feb 15, 2023.
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.A Generic Approach to Solving the Steiner Tree Problem and Variants Nov 9, 2015.PolySCIP Aug 15, 2016.
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.scipopt May 22, 2023. Ligações externas Homepage Zuse Institute Berlin
Categoria:Konrad Zuse Categoria:Academias e sociedades científicas da Alemanha