soplex.zib.de
SoPlex: Overview
http://soplex.zib.de/doc-2.0.1/html
SoPlex 2.2.1. SoPlex 2.2.0. SoPlex 2.0.1. The Sequential object-oriented simplex class library. This software has been implemented as a part of Roland Wunderling's Ph.D. thesis "Paralleler und Objektorientierter Simplex-Algorithmus" which can be found at http:/ www.zib.de/PaperWeb/abstracts/TR-96-09. SoPlex is part of the SCIP Optimization Suite. A tutorial article for getting started with the SCIP Optimization Suite is available as ZIB technical report 12-27 here. How to use the SoPlex command line.
soplex.zib.de
SoPlex download
http://soplex.zib.de/download.php?fname=soplex-2.2.0.tgz
SoPlex 2.2.1. SoPlex 2.2.0. SoPlex 2.0.1. Mailing List and Bugs. Soplex-2.2.0.tgz. You are allowed to retrieve a copy of SoPlex for research purposes as a member of a noncommercial and academic institution. In order to get a copy of SoPlex, you need to certify that you are a member of a noncommercial, academic institution and accept the ZIB Academic License. Commercial use requires a commercial license. Here are some notes on commercial licensing.
satlive.org
Solvers
http://www.satlive.org/solvers
Keep up to date with research on the satisfiability problem. That page is far from being complete. Do not hesitate to drop me an email or make a pull request to include your favorite solver here. Here is a list of solvers available from the SAT community for research purposes. Those solvers are expected to run out-of-the-box on recent computers. Stochastic Local Search solvers. FPGA based sat solvers. Quantified Boolean Formulas solvers. From Artois University, France.
zib.eu
Software | Zuse Institute Berlin (ZIB)
http://www.zib.eu/software
Skip to main content. Solutions for Individualized Medicine. Molecular and Biological Processes. Materials and Optical Processes. MSO for Multiscale Systems. Robust Solutions under Uncertainty. Efficient Infrastructure and Logistics. Large-Scale Data Management, Curation and Analysis. Scalable and Fault-Tolerant Algorithms. Intel IPCC Research Center. Oracle Center of Excellence. Further Committees and Regulations. Trainee Openings / Ausbildungsplätze. Contains Newton, Gauss-Newton, IVP, and BVP codes.
projects.coin-or.org
CMPL - COIN Mathematical Programming Language
https://projects.coin-or.org/Cmpl
Welcome to the CMPL Home Page. Coliop Coin Mathematical Programming Language) is a mathematical programming language and a system for mathematical programming and optimisation of linear optimisation problems. The CMPL syntax is similar in formulation to the original mathematical model but also includes syntactic elements from modern programming languages. CMPL is intended to combine the clarity of mathematical models with the flexibility of programming languages. The CMPL distribution contains Coliop.
mariofilho.com
Usando Otimização Para Aproximar a Menor Rota Entre Mais de 5.500 Municípios Brasileiros | Mario Filho | Data Scientist, Machine Learning, Analytics, Big Data, Consultoria
http://mariofilho.com/usando-otimizacao-para-aproximar-a-menor-rota-entre-mais-de-5-500-municipios-brasileiros
Data Scientist, Machine Learning, Analytics, Big Data, Consultoria. Usando Otimização Para Aproximar a Menor Rota Entre Mais de 5.500 Municípios Brasileiros. Usando Otimização Para Aproximar a Menor Rota Entre Mais de 5.500 Municípios Brasileiros. June 3, 2015. Por que ele é importante? Você precisa escolher uma das cinco cidades para começar, depois uma das quatro para ser a próxima, aí ficam mais três… e assim vai. Matematicamente, você tem 5 x 4 x 3 x 2 = 120 opções. Neste caso pequeno s...Isso signif...
reaction-networks.net
CoNtRol - Chemical Reaction Network analysis tool
https://reaction-networks.net/control
Choose a file to upload:. Eg A 2B - C. Eg -1 -2 1. Source and Target Stoichiometry (details). Sauro e.g. 1 4 0 1 0 2 3 0 4 0. Systems Biology Markup Language (SBML) Levels 1, 2, 3. Choose a file to upload:. Maximum file size: 10M. Supported archive types: zip. Email address for results:. Optional) label for results:. Eg A 2B - C. Eg -1 -2 1. Source and Target Stoichiometry (details). Sauro e.g. 1 4 0 1 0 2 3 0 4 0. Systems Biology Markup Language (SBML) Levels 1, 2, 3. Enter security code (required):.
stephenjmaher.com
Recent Blogs - Stephen J Maher - Zuse Institute Berlin
http://www.stephenjmaher.com/blog
Postdoctoral Researcher, Zuse Institute Berlin. Tweets by @sj maher. A few things of interest to me. My work outside of work. What I do for fun. Pages that you should know about. Computational experiments in MIP. Author: Stephen J Maher. Specialisation or diversification in research. Author: Stephen J Maher. What is the best approach to research? Should a person specialise and develop a deep knowledge of a particular area or try to diversify to gain an understanding of many different fields? A workshop o...
