Skip to content

Latest commit

 

History

History
14 lines (12 loc) · 470 Bytes

README.md

File metadata and controls

14 lines (12 loc) · 470 Bytes

Interface between volesti and Hybrid RaML

This project creates shared libraries (implemented in C++) that call the hit-and-run algorithm and reflective HMC implemented in the C++ library volesti. In turn, the shared libraries are called by Hybrid RaML through the OCaml-C binding.

To build the shared libraries, first go to the root of this project directory. Then run

mkdir build && cd build
cmake ..
cmake --build .