https://github.com/ibex-team/ibex-lib
Revision 13b80e3e68ee72b63e81c3594a10172f21fe33f2 authored by Bertrand Neveu on 23 April 2013, 12:23:49 UTC, committed by Bertrand Neveu on 23 April 2013, 12:23:49 UTC
1 parent a0debfa
Tip revision: 13b80e3e68ee72b63e81c3594a10172f21fe33f2 authored by Bertrand Neveu on 23 April 2013, 12:23:49 UTC
implementation of Neumaier Shcherbina infeasibility test when soplex returns INFEASIBLE
implementation of Neumaier Shcherbina infeasibility test when soplex returns INFEASIBLE
Tip revision: 13b80e3
File | Mode | Size |
---|---|---|
quimper | ||
ExFunction.cpp | -rw-r--r-- | 2.3 KB |
ExFunction.h | -rw-r--r-- | 935 bytes |
Ponts30.cpp | -rw-r--r-- | 23.2 KB |
Ponts30.h | -rw-r--r-- | 946 bytes |
TestAffine2.cpp | -rw-r--r-- | 32.3 KB |
TestAffine2.h | -rw-r--r-- | 1.7 KB |
TestArith.cpp | -rw-r--r-- | 28.6 KB |
TestArith.h | -rw-r--r-- | 12.6 KB |
TestCtcInteger.cpp | -rw-r--r-- | 1.2 KB |
TestCtcInteger.h | -rw-r--r-- | 1018 bytes |
TestCtcNotIn.cpp | -rw-r--r-- | 1.1 KB |
TestCtcNotIn.h | -rw-r--r-- | 1.1 KB |
TestCtcSubBox.cpp | -rw-r--r-- | 1.3 KB |
TestCtcSubBox.h | -rw-r--r-- | 1010 bytes |
TestDim.cpp | -rw-r--r-- | 2.0 KB |
TestDim.h | -rw-r--r-- | 929 bytes |
TestDomain.cpp | -rw-r--r-- | 5.4 KB |
TestDomain.h | -rw-r--r-- | 1.0 KB |
TestEval.cpp | -rw-r--r-- | 7.3 KB |
TestEval.h | -rw-r--r-- | 1.3 KB |
TestExpr.cpp | -rw-r--r-- | 13.5 KB |
TestExpr.h | -rw-r--r-- | 2.1 KB |
TestFunction.cpp | -rw-r--r-- | 3.8 KB |
TestFunction.h | -rw-r--r-- | 1.2 KB |
TestGradient.cpp | -rw-r--r-- | 27.4 KB |
TestGradient.h | -rw-r--r-- | 1.3 KB |
TestHC4.cpp | -rw-r--r-- | 1.3 KB |
TestHC4.h | -rw-r--r-- | 712 bytes |
TestHC4Revise.cpp | -rw-r--r-- | 3.0 KB |
TestHC4Revise.h | -rw-r--r-- | 1.2 KB |
TestInHC4Revise.cpp | -rw-r--r-- | 2.6 KB |
TestInHC4Revise.h | -rw-r--r-- | 1.0 KB |
TestInnerArith.cpp | -rw-r--r-- | 15.7 KB |
TestInnerArith.h | -rw-r--r-- | 9.1 KB |
TestInterval.cpp | -rw-r--r-- | 17.6 KB |
TestInterval.h | -rw-r--r-- | 9.4 KB |
TestIntervalMatrix.cpp | -rw-r--r-- | 8.9 KB |
TestIntervalMatrix.h | -rw-r--r-- | 4.0 KB |
TestIntervalVector.cpp | -rw-r--r-- | 17.2 KB |
TestIntervalVector.h | -rw-r--r-- | 6.8 KB |
TestNewton.cpp | -rw-r--r-- | 3.9 KB |
TestNewton.h | -rw-r--r-- | 766 bytes |
TestNumConstraint.cpp | -rw-r--r-- | 1.6 KB |
TestNumConstraint.h | -rw-r--r-- | 933 bytes |
TestParser.cpp | -rw-r--r-- | 7.6 KB |
TestParser.h | -rw-r--r-- | 1.5 KB |
TestString.cpp | -rw-r--r-- | 911 bytes |
TestString.h | -rw-r--r-- | 866 bytes |
TestSymbolMap.cpp | -rw-r--r-- | 1.5 KB |
TestSymbolMap.h | -rw-r--r-- | 896 bytes |
TestSystem.cpp | -rw-r--r-- | 5.6 KB |
TestSystem.h | -rw-r--r-- | 1.2 KB |
makefile | -rw-r--r-- | 613 bytes |
utest.cpp | -rw-r--r-- | 3.0 KB |
utest.h | -rw-r--r-- | 598 bytes |
utils.cpp | -rw-r--r-- | 2.8 KB |
utils.h | -rw-r--r-- | 1.2 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...