Skip to content

Add satisfiable tableau test#12

Merged
krnk0 merged 1 commit intomainfrom
codex/add-test-for-satisfiable-formula-in-test-tableau-py
May 17, 2025
Merged

Add satisfiable tableau test#12
krnk0 merged 1 commit intomainfrom
codex/add-test-for-satisfiable-formula-in-test-tableau-py

Conversation

@krnk0
Copy link
Copy Markdown
Owner

@krnk0 krnk0 commented May 17, 2025

Summary

  • ensure tableau solver returns a model that satisfies a satisfiable expression
  • cover multiple satisfiable formulae

Testing

  • pytest -q

@krnk0 krnk0 merged commit b305d31 into main May 17, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant