Skip to content

assert_blocking_clause return the blocking clause#448

Closed
ahmed-irfan wants to merge 1 commit intomasterfrom
393-api-could-yices_assert_blocking_clause-return-the-clause
Closed

assert_blocking_clause return the blocking clause#448
ahmed-irfan wants to merge 1 commit intomasterfrom
393-api-could-yices_assert_blocking_clause-return-the-clause

Conversation

@ahmed-irfan
Copy link
Copy Markdown
Member

No description provided.

@ahmed-irfan ahmed-irfan linked an issue Jun 30, 2023 that may be closed by this pull request
@ahmed-irfan ahmed-irfan marked this pull request as draft June 30, 2023 01:05
@ahmed-irfan ahmed-irfan closed this Aug 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

API: Could yices_assert_blocking_clause return the clause?

1 participant