Skip to content

Add := operator for Boolean satisfiability problems #2534

Add := operator for Boolean satisfiability problems

Add := operator for Boolean satisfiability problems #2534

Triggered via pull request October 13, 2023 07:20
@odowodow
synchronize #3530
od/def-equal
Status Success
Total duration 5m 18s
Artifacts

aqua.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
[vale] docs/src/packages/Loraine.md#L78: docs/src/packages/Loraine.md#L78
[Google.Ellipses] In general, don't use an ellipsis.
[vale] docs/src/packages/Ipopt.md#L241: docs/src/packages/Ipopt.md#L241
[Google.Colons] ': L' should be in lowercase.