[Coin-discuss] Reusing the Makefile in the coin-Cbc/Cbc/examples
Hacène Ouzia
h.ouzia at gmail.com
Wed Aug 8 13:22:43 EDT 2007
Hi Lou,
Thanks...
I correct the error you mentioned, but I still have the same problem.
Below the outputs i get.
Perhapes, I am using bad options for Mac Os X!
Best regards,
Hacene.
make DRIVER=main
bla=;\
g++ -Wl, --rpath -Wl -g -O3 -fomit-frame-pointer -pipe -DNDEBUG
-pedantic-errors -Wimplicit -Wparentheses -Wreturn-type -Wcast-qual
-Wall -Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC -o
main $bla -L/Users/ouzia/coin-Cbc/build/lib -lCbc -lCgl -lOsiClp
-lOsiCbc -lOsi -lClp -lCoinUtils -lm `cat
/Users/ouzia/coin-Cbc/build/lib/cgl_addlibs.txt` `cat
/Users/ouzia/coin-Cbc/build/lib/osi_addlibs.txt` `cat
/Users/ouzia/coin-Cbc/build/lib/clp_addlibs.txt` `cat
/Users/ouzia/coin-Cbc/build/lib/coinutils_addlibs.txt`
/usr/bin/ld: can't open: (No such file or directory, errno = 2)
collect2: ld returned 1 exit status
make: *** [main] Error 1
ordinateur-de-ouzia:~/MaxSat/trunk/src ouzia$ make clean
rm -rf driver.o MAXSAT_data.o MAX2SAT_data.o MAX3SAT_data.o PLP.o
PLP_1.o PLP_2.o PLP_3.o OUTPUT.o SOLVE.o EXPERIENCE.o EXPERIENCES.o
m_CUTS.o MASTER.o SUBPROBLEM.o SUBPROBLEMS.o C_SUBPROBLEMS.o
N_SUBPROBLEMS.o BLOCS_SELECTION_STRATEGIES.o CLAUSES.o CLAUSES_2.o
CLAUSES_3.o SHELL_LINE.o PRINT_STYLE_A.o BENDERS.o BENDERS_CD3M2.o
BENDERS_CD3M3.o STRENG_FORMULATION.o BENDERS_ALGO_STOPTST.o
MASTER_BAB.o PARAMETERS.o COMPONENT.o PROJECT_CUTS.o
ordinateur-de-ouzia:~/MaxSat/trunk/src ouzia$ make DRIVER=main
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o MAXSAT_data.o `test -f
'MAXSAT_data.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`MAXSAT_data.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o MAX2SAT_data.o `test -f
'MAX2SAT_data.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`MAX2SAT_data.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_DATA.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_DATA.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_DATA.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_DATA.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_DATA.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_DATA.hpp:1187: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp: In member function
'int MAX2SAT_DATA::get_sortedClauses_bySum(const std::vector<T,
std::allocator<_CharT> >&, const std::vector<T, std::allocator<_CharT>
>&, unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<T, std::allocator<_CharT> >&) [with T = int]':
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp:1676: warning:
control may reach end of non-void function 'unsigned int
MAXSAT_DATA::search_for_index(const std::vector<T,
std::allocator<_CharT> >&, T) [with T = int]' being inlined
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp: In member function
'int MAX2SAT_DATA::get_srtdClauses_bySum(const std::vector<unsigned
int, std::allocator<unsigned int> >&, const std::vector<unsigned int,
std::allocator<unsigned int> >&, unsigned int, std::vector<unsigned
int, std::allocator<unsigned int> >&, std::vector<unsigned int,
std::allocator<unsigned int> >&)':
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp:1676: warning:
control may reach end of non-void function 'unsigned int
MAXSAT_DATA::search_for_index(const std::vector<T,
std::allocator<_CharT> >&, T) [with T = unsigned int]' being inlined
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o MAX3SAT_data.o `test -f
'MAX3SAT_data.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`MAX3SAT_data.cpp
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp: In member function
'int MAX3SAT_DATA::get_sortedClauses_criteria_byMax(const
std::vector<T, std::allocator<_CharT> >&, const std::vector<T,
std::allocator<_CharT> >&, const std::vector<T, std::allocator<_CharT>
>&, std::vector<T, std::allocator<_CharT> >&, std::vector<T,
std::allocator<_CharT> >&, std::vector<T, std::allocator<_CharT> >&)
[with T = unsigned int]':
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp:1576: warning:
control may reach end of non-void function 'unsigned int
MAXSAT_DATA::search_for_index(const std::vector<T,
std::allocator<_CharT> >&, const std::vector<T, std::allocator<_CharT>
>&, T, T) [with T = unsigned int]' being inlined
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp: In member function
'int MAX3SAT_DATA::get_srtdCouples_bySum(const std::vector<unsigned
int, std::allocator<unsigned int> >&, const std::vector<unsigned int,
std::allocator<unsigned int> >&, const std::vector<unsigned int,
std::allocator<unsigned int> >&, unsigned int, std::vector<unsigned
int, std::allocator<unsigned int> >&, std::vector<unsigned int,
std::allocator<unsigned int> >&)':
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp:1676: warning:
control may reach end of non-void function 'unsigned int
MAXSAT_DATA::search_for_index(const std::vector<T,
std::allocator<_CharT> >&, T) [with T = unsigned int]' being inlined
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp: In member function
'int MAX3SAT_DATA::get_sortedClauses_criteria_bySum(const
std::vector<T, std::allocator<_CharT> >&, const std::vector<T,
std::allocator<_CharT> >&, const std::vector<T, std::allocator<_CharT>
>&, std::vector<T, std::allocator<_CharT> >&, std::vector<T,
std::allocator<_CharT> >&, std::vector<T, std::allocator<_CharT> >&)
[with T = int]':
/Users/ouzia/MaxSat/trunk/include/MAXSAT_data.hpp:1656: warning:
control may reach end of non-void function 'unsigned int
MAXSAT_DATA::search_for_index(const std::vector<T,
std::allocator<_CharT> >&, const std::vector<T, std::allocator<_CharT>
>&, T, T) [with T = int]' being inlined
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PLP.o `test -f 'PLP.cpp' ||
echo '/Users/ouzia/MaxSat/trunk/src/'`PLP.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PLP_1.o `test -f 'PLP_1.cpp'
|| echo '/Users/ouzia/MaxSat/trunk/src/'`PLP_1.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PLP_2.o `test -f 'PLP_2.cpp'
|| echo '/Users/ouzia/MaxSat/trunk/src/'`PLP_2.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PLP_3.o `test -f 'PLP_3.cpp'
|| echo '/Users/ouzia/MaxSat/trunk/src/'`PLP_3.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o OUTPUT.o `test -f
'OUTPUT.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`OUTPUT.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o SOLVE.o `test -f 'SOLVE.cpp'
|| echo '/Users/ouzia/MaxSat/trunk/src/'`SOLVE.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o EXPERIENCE.o `test -f
'EXPERIENCE.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`EXPERIENCE.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o EXPERIENCES.o `test -f
'EXPERIENCES.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`EXPERIENCES.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o m_CUTS.o `test -f
'm_CUTS.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`m_CUTS.cpp
m_CUTS.cpp: In member function 'void m_CUTS::_dualMultipliers() const':
m_CUTS.cpp:120: warning: unused variable 'nbr_smallBlocs'
m_CUTS.cpp: In member function 'OsiRowCut
m_CUTS::_one_m_cut(std::vector<unsigned int, std::allocator<unsigned
int> >, std::vector<int, std::allocator<int> >, unsigned int)':
m_CUTS.cpp:320: warning: comparison between signed and unsigned
integer expressions
m_CUTS.cpp:363: warning: comparison between signed and unsigned
integer expressions
m_CUTS.cpp:256: warning: unused variable 'sizeBlocB'
m_CUTS.cpp:276: warning: unused variable 'nbr_smallBlocs'
m_CUTS.cpp: In member function 'OsiRowCut
m_CUTS::_M_cut(std::vector<unsigned int, std::allocator<unsigned int>
>, unsigned int)':
m_CUTS.cpp:386: warning: unused variable 'nbrBlocs'
m_CUTS.cpp:389: warning: unused variable 'nbrRowsA'
m_CUTS.cpp:392: warning: unused variable 'nbrCols_mBlocs'
m_CUTS.cpp: In member function 'double*
m_CUTS::_coefs_mCuts(std::vector<unsigned int, std::allocator<unsigned
int> >, std::vector<int, std::allocator<int> >, unsigned int)':
m_CUTS.cpp:576: warning: comparison between signed and unsigned
integer expressions
m_CUTS.cpp:618: warning: comparison between signed and unsigned
integer expressions
m_CUTS.cpp:501: warning: unused variable 'nbrBlocs'
m_CUTS.cpp:515: warning: unused variable 'sizeBlocB'
m_CUTS.cpp: In member function 'OsiRowCut* m_CUTS::_all_m_cuts()':
m_CUTS.cpp:694: warning: unused variable 'nbrCuts'
m_CUTS.cpp: In member function 'unsigned int
m_CUTS::index_smallBloc(unsigned int, std::vector<int,
std::allocator<int> >) const':
m_CUTS.cpp:958: warning: unused variable 'index'
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
m_CUTS.cpp: In member function 'unsigned int m_CUTS::_rank() const':
m_CUTS.cpp:966: warning: 'rank' may be used uninitialized in this function
m_CUTS.cpp: In member function 'unsigned int m_CUTS::_nbrBlocs() const':
m_CUTS.cpp:986: warning: 'rank' may be used uninitialized in this function
m_CUTS.cpp:986: warning: 'nbrBlocs' may be used uninitialized in this function
m_CUTS.cpp: In member function 'void m_CUTS::_dualMultipliers() const':
m_CUTS.cpp:116: warning: 'index_on_mBloc' may be used uninitialized in
this function
m_CUTS.cpp:113: warning: 'numroConst' may be used uninitialized in this function
m_CUTS.cpp: In member function 'std::vector<std::vector<unsigned int,
std::allocator<unsigned int> >, std::allocator<std::vector<unsigned
int, std::allocator<unsigned int> > > > m_CUTS::get_slctdIndices()':
m_CUTS.cpp:772: warning: 'rank' may be used uninitialized in this function
m_CUTS.cpp: In member function 'double*
m_CUTS::_coefs_mCuts(std::vector<unsigned int, std::allocator<unsigned
int> >, std::vector<int, std::allocator<int> >, unsigned int)':
m_CUTS.cpp:531: warning: 'index_on_mBloc' may be used uninitialized in
this function
m_CUTS.cpp:527: warning: 'numroConst' may be used uninitialized in this function
m_CUTS.cpp: In member function 'OsiRowCut
m_CUTS::_one_m_cut(std::vector<unsigned int, std::allocator<unsigned
int> >, std::vector<int, std::allocator<int> >, unsigned int)':
m_CUTS.cpp:272: warning: 'index_on_mBloc' may be used uninitialized in
this function
m_CUTS.cpp:268: warning: 'numroConst' may be used uninitialized in this function
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o MASTER.o `test -f
'MASTER.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`MASTER.cpp
MASTER.cpp: In member function 'void MASTER::resolve_()':
MASTER.cpp:398: warning: control may reach end of non-void function
'double MASTER::get_objValue() const' being inlined
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o SUBPROBLEM.o `test -f
'SUBPROBLEM.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`SUBPROBLEM.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
SUBPROBLEM.cpp: In member function 'void SUBPROBLEM::print_col() const':
SUBPROBLEM.cpp:835: warning: control may reach end of non-void
function 'const double* SUBPROBLEM::get_colSolution() const' being
inlined
SUBPROBLEM.cpp: In member function 'void SUBPROBLEM::print_status() const':
SUBPROBLEM.cpp:791: warning: control may reach end of non-void
function 'unsigned int SUBPROBLEM::get_firstIndex() const' being
inlined
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o SUBPROBLEMS.o `test -f
'SUBPROBLEMS.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`SUBPROBLEMS.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o C_SUBPROBLEMS.o `test -f
'C_SUBPROBLEMS.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`C_SUBPROBLEMS.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o N_SUBPROBLEMS.o `test -f
'N_SUBPROBLEMS.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`N_SUBPROBLEMS.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o BLOCS_SELECTION_STRATEGIES.o
`test -f 'BLOCS_SELECTION_STRATEGIES.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`BLOCS_SELECTION_STRATEGIES.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o CLAUSES.o `test -f
'CLAUSES.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`CLAUSES.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o CLAUSES_2.o `test -f
'CLAUSES_2.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`CLAUSES_2.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o CLAUSES_3.o `test -f
'CLAUSES_3.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`CLAUSES_3.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o SHELL_LINE.o `test -f
'SHELL_LINE.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`SHELL_LINE.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PRINT_STYLE_A.o `test -f
'PRINT_STYLE_A.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`PRINT_STYLE_A.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o BENDERS.o `test -f
'BENDERS.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`BENDERS.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o BENDERS_CD3M2.o `test -f
'BENDERS_CD3M2.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`BENDERS_CD3M2.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MASTER.hpp: In member function
'virtual int BENDERS_CD3M2::solve(unsigned int)':
/Users/ouzia/MaxSat/trunk/include/MASTER.hpp:431: warning: control may
reach end of non-void function 'double MASTER::get_objValue() const'
being inlined
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o BENDERS_CD3M3.o `test -f
'BENDERS_CD3M3.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`BENDERS_CD3M3.cpp
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp: In member function
'int MAX2SAT_DATA::get_literals_occurrences(std::vector<T,
std::allocator<_CharT> >, std::vector<T, std::allocator<_CharT> >,
unsigned int, std::vector<T, std::allocator<_CharT> >&,
std::vector<unsigned int, std::allocator<unsigned int> >&) [with T =
int]':
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:175: instantiated from here
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1171: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1172: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1186: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MAX2SAT_data.hpp:1187: warning:
comparison between signed and unsigned integer expressions
/Users/ouzia/MaxSat/trunk/include/MASTER.hpp: In member function
'virtual int BENDERS_CD3M3::solve(unsigned int)':
/Users/ouzia/MaxSat/trunk/include/MASTER.hpp:431: warning: control may
reach end of non-void function 'double MASTER::get_objValue() const'
being inlined
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o STRENG_FORMULATION.o `test
-f 'STRENG_FORMULATION.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`STRENG_FORMULATION.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o BENDERS_ALGO_STOPTST.o `test
-f 'BENDERS_ALGO_STOPTST.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`BENDERS_ALGO_STOPTST.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o MASTER_BAB.o `test -f
'MASTER_BAB.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`MASTER_BAB.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PARAMETERS.o `test -f
'PARAMETERS.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`PARAMETERS.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o COMPONENT.o `test -f
'COMPONENT.cpp' || echo '/Users/ouzia/MaxSat/trunk/src/'`COMPONENT.cpp
g++ -g -O3 -fomit-frame-pointer -pipe -DNDEBUG -pedantic-errors
-Wimplicit -Wparentheses -Wreturn-type -Wcast-qual -Wall
-Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC
-I/Users/ouzia/coin-Cbc/build/include
-I/Users/ouzia/MaxSat/trunk/include -c -o PROJECT_CUTS.o `test -f
'PROJECT_CUTS.cpp' || echo
'/Users/ouzia/MaxSat/trunk/src/'`PROJECT_CUTS.cpp
bla=;\
g++ -Wl, --rpath -Wl -g -O3 -fomit-frame-pointer -pipe -DNDEBUG
-pedantic-errors -Wimplicit -Wparentheses -Wreturn-type -Wcast-qual
-Wall -Wpointer-arith -Wwrite-strings -Wconversion -DCOIN_USE_CBC -o
main $bla -L/Users/ouzia/coin-Cbc/build/lib -lCbc -lCgl -lOsiClp
-lOsiCbc -lOsi -lClp -lCoinUtils -lm `cat
/Users/ouzia/coin-Cbc/build/lib/cgl_addlibs.txt` `cat
/Users/ouzia/coin-Cbc/build/lib/osi_addlibs.txt` `cat
/Users/ouzia/coin-Cbc/build/lib/clp_addlibs.txt` `cat
/Users/ouzia/coin-Cbc/build/lib/coinutils_addlibs.txt`
/usr/bin/ld: can't open: (No such file or directory, errno = 2)
collect2: ld returned 1 exit status
make: *** [main] Error 1
ordinateur-de-ouzia:~/MaxSat/trunk/src ouzia$
2007/8/8, Lou Hafer <lou at cs.sfu.ca>:
> Hacene,
>
> You've provided very little information --- surely there are error
> messages before the final error from ld. In the Makefile that you include with
> the email, I notice that you're trying to link to -lOsiCLP; this is incorrect
> unless you've renamed the library. Try -lOsiClp (note case!)
>
> Lou
>
> _______________________________________________
> Coin-discuss mailing list
> Coin-discuss at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/coin-discuss
>
--
Hacene
More information about the Coin-discuss
mailing list