CI

MCSAT: Preprocessor: fix equality simplification for mixed real-integer terms #289

Sign in to view logs

Triggered via pull request November 30, 2023 21:48

ahmed-irfan

opened #481

fix-mcsat-nira-eq-preprocessing

Status Success

Total duration 7m 59s

Artifacts –

ci.yml

on: pull_request

Matrix: build