Comments (3)
For now, if no LP solver is specifyed, we install CLP.
But you're right we should check if soplex or cplex is available before installing CLP.
from ibex-lib.
I'm fine with CLP as long as it can be installed properly on all platforms (as soplex up to now).
In fact I even prefer a library to be automatically installed from the bundle (in case of missing explicit option like --with-soplex) than a script looking to a particular library on a parent directory.
Note: we also need to update the installation doc on this point.
from ibex-lib.
J'ai remis un peu d'ordre dans le wscript
Maintenant, si on ne précise pas le solver, le waf cherche les solver lineaire existant dans les chemins de base. Si il en trouve un, il l'utilise sinon il installe CLP.
J'ai rajouté également l'option "--without-lp" si on veut installer IBEX sans solver lineaire.
from ibex-lib.
Related Issues (20)
- Migrate to travis-ci.com HOT 1
- Best way to calculate set intersection/set difference for a set represented as vector of interval vectors HOT 5
- Operations on sets loaded from files return invalid vector operation errors
- ARM support for ibex-lib HOT 4
- Separator class SepPolygon HOT 1
- Ibex-2.8.9 and Choco-Solver
- Missing solution with -frounding-math HOT 1
- Add configuration arguments to mathlib
- ibex-lib build is broken for PPC due to gaol and mathlib HOT 1
- Ibex-java for Choco solver
- ibex_Setting.h: No such file or directory HOT 1
- Calling configure failed, windows 10 HOT 3
- Wrong results during optimization HOT 1
- Installation script `waf` is broken on Linux in release 2.8.9 HOT 3
- Error linking ESBMC w/ old cpp frontend and IBEX: `multiple definition of slow`
- Parsing problem
- Installation of version 2.8.9.1 failed HOT 2
- x^0 in minibex
- Problems when installed Hcontrol_develop_2 plugin
- Installation impossible sur Mac osx HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ibex-lib.