Add irreducible infeasibility set (IIS) calculation #4020

Sign in to view logs

Triggered via pull request June 14, 2024 10:58

jajhall

synchronize #1792

fix-1789

Status Success

Total duration 4m 31s

Artifacts –

build-clang.yml

on: pull_request

Matrix: debug

Matrix: debug64

Matrix: release

Matrix: release64