circumvent gurobi integer division to match cpmpy floordivision #1195

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push September 6, 2023 09:02

Wout4

398-gurobi-does-not-support-floordivision

Status Success

Total duration 3m 16s

Artifacts –

python-test.yml

on: push