van51 / polytope-oracles

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

polytope-oracles

Library to assist in answering approximate membership and boundary queries on H-polytopes.

Dependencies

Dingo

We also depend on Dingo which does not yet have a PyPI package. To install it do the following (taken from its instructions):

git clone https://github.com/GeomScale/dingo.git
cd dingo
git submodule update --init
wget -O boost_1_76_0.tar.bz2 https://boostorg.jfrog.io/artifactory/main/release/1.76.0/source/boost_1_76_0.tar.bz2
tar xjf boost_1_76_0.tar.bz2
rm boost_1_76_0.tar.bz2
sudo apt-get install libsuitesparse-dev

Then setup the Gurobi license.

Poetry

We use poetry to manage our dependencies.

Installation

poetry install -E experiments -E test
poetry run pip install /path/to/dingo/root/directory
poetry run pip install -i https://pypi.gurobi.com gurobipy

About

License:MIT License


Languages

Language:Jupyter Notebook 89.0%Language:Python 11.0%