Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add pyparsing to Python deps in CI (#326)
Install `pyparsing` in CI because cvc5 depends on it now.
- Loading branch information