bin/disco
include/coin/Dco.hpp
include/coin/DcoBranchObject.hpp
include/coin/DcoBranchStrategyMaxInf.hpp
include/coin/DcoBranchStrategyPseudo.hpp
include/coin/DcoBranchStrategyRel.hpp
include/coin/DcoBranchStrategyStrong.hpp
include/coin/DcoCbfIO.hpp
include/coin/DcoConGenerator.hpp
include/coin/DcoConfig.h
include/coin/DcoConfig.hpp
include/coin/DcoConicConGenerator.hpp
include/coin/DcoConicConstraint.hpp
include/coin/DcoConstraint.hpp
include/coin/DcoLicense.hpp
include/coin/DcoLinearConGenerator.hpp
include/coin/DcoLinearConstraint.hpp
include/coin/DcoMessage.hpp
include/coin/DcoModel.hpp
include/coin/DcoNodeDesc.hpp
include/coin/DcoParams.hpp
include/coin/DcoPresolve.hpp
include/coin/DcoSolution.hpp
include/coin/DcoSubTree.hpp
include/coin/DcoTreeNode.hpp
include/coin/DcoVariable.hpp
lib/libDisco.so
lib/libDisco.so.0
lib/libDisco.so.0.0.0
libdata/pkgconfig/disco.pc
share/coin/doc/DisCO/AUTHORS
share/coin/doc/DisCO/LICENSE
share/coin/doc/DisCO/README
share/coin/doc/DisCO/disco_addlibs.txt