Location: LEMON/LEMON-main/tools/CMakeLists.txt - annotation
Load file history
kpeter (Peter Kovacs)
Support real types + numerical stability fix in NS (#254)
- Real types are supported by appropriate inicialization.
- A feature of the XTI spanning tree structure is removed to ensure
numerical stability (could cause problems using integer types).
The node potentials are updated always on the lower subtree,
in order to prevent overflow problems.
The former method isn't notably faster during to our tests.
r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 r527:c458e02723b1 | INCLUDE_DIRECTORIES(
${CMAKE_SOURCE_DIR}
${CMAKE_BINARY_DIR}
)
LINK_DIRECTORIES(${CMAKE_BINARY_DIR}/lemon)
ADD_EXECUTABLE(lgf-gen lgf-gen.cc)
TARGET_LINK_LIBRARIES(lgf-gen lemon)
ADD_EXECUTABLE(dimacs-to-lgf dimacs-to-lgf.cc)
TARGET_LINK_LIBRARIES(dimacs-to-lgf lemon)
ADD_EXECUTABLE(dimacs-solver dimacs-solver.cc)
TARGET_LINK_LIBRARIES(dimacs-solver lemon)
INSTALL(
TARGETS lgf-gen dimacs-to-lgf dimacs-solver
RUNTIME DESTINATION bin
COMPONENT bin
)
IF(NOT WIN32)
INSTALL(
FILES ${CMAKE_CURRENT_SOURCE_DIR}/lemon-0.x-to-1.x.sh
RUNTIME DESTINATION bin
COMPONENT bin)
ENDIF(NOT WIN32)
|