Skip to content

TPTP: parse CNF naively#22

Merged
Daniel1854 merged 1 commit intomainfrom
parse_cnf
Aug 4, 2025
Merged

TPTP: parse CNF naively#22
Daniel1854 merged 1 commit intomainfrom
parse_cnf

Conversation

@Daniel1854
Copy link
Collaborator

No description provided.

@Daniel1854 Daniel1854 merged commit a3ee8b0 into main Aug 4, 2025
1 check passed
@Daniel1854 Daniel1854 deleted the parse_cnf branch August 4, 2025 22:02
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.

1 participant