Skip to content

MathSAT5: update to v5.6.16#651

Merged
kfriedberger merged 1 commit intomasterfrom
641-update-mathsat5-to-newly-released-version-5616
Apr 14, 2026
Merged

MathSAT5: update to v5.6.16#651
kfriedberger merged 1 commit intomasterfrom
641-update-mathsat5-to-newly-released-version-5616

Conversation

@kfriedberger
Copy link
Copy Markdown
Member

@kfriedberger kfriedberger commented Apr 14, 2026

see #641

@kfriedberger kfriedberger linked an issue Apr 14, 2026 that may be closed by this pull request
@kfriedberger kfriedberger merged commit 1399769 into master Apr 14, 2026
18 of 21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Update MathSAT5 to newly released version 5.6.16

1 participant