CuMcCormick

CuMcCormick is a CUDA library for McCormick relaxations.

Supported Operations

neg add sub mul div sqr sqrt abs fabs exp log pown pow cos

asin acos atan sinh cosh tanh asinh acosh atanh

max min mid width hull

+ - * / == !=

inf sup

Installation

Please make sure that you have installed everything mentioned in the section Build Requirements.

System-wide

git clone https://github.com/neilkichler/cumccormick.git
cd cuinterval
cmake --preset release
cmake --build build
cmake --install build

CMake Project

CPM.cmake

CPMAddPackage("gh:neilkichler/[email protected]")

FetchContent

include(FetchContent)
FetchContent_Declare(
  cuinterval
  GIT_REPOSITORY [email protected]:neilkichler/cumccormick.git
  GIT_TAG main
)
FetchContent_MakeAvailable(cumccormick)

In either case, you can link to the library using:

target_link_libraries(${PROJECT_NAME} PUBLIC cumccormick)

Example

Have a look at the examples folder.

Documentation

The documentation is available here.

Build

Build Requirements

We require C++20, CMake v3.25.2+, Ninja, and recent C++ and CUDA compilers.

Ubuntu

apt install cmake gcc ninja-build

Cluster

module load CMake CUDA GCC Ninja

Build and run tests

Using Workflows

cmake --workflow --preset dev

Using Presets

cmake --preset debug
cmake --build --preset debug
ctest --preset debug

Using regular CMake

cmake -S . -B build -GNinja
cmake --build build
./build/tests/tests