Skip to content

Update README.md with CLI argument info#13

Merged
mveroe merged 1 commit into
logic-star-ai:mainfrom
Charca:patch-1
Oct 22, 2025
Merged

Update README.md with CLI argument info#13
mveroe merged 1 commit into
logic-star-ai:mainfrom
Charca:patch-1

Conversation

@Charca

@Charca Charca commented Oct 2, 2025

Copy link
Copy Markdown
Contributor

Hello! First of all, thank you so much for open-sourcing this project and making the dataset available!

Looking at the code, I saw the CLI supported a bunch of useful options via arguments, so I thought it could be useful to document them in the README.

@mveroe

mveroe commented Oct 22, 2025

Copy link
Copy Markdown
Collaborator

Thank you for the documentation and interest in our project!

@mveroe mveroe merged commit b5b66aa into logic-star-ai:main Oct 22, 2025
1 check passed
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.

2 participants