check

add reasoning parameters annotate_inferred_axioms and exclude_duplica… #64

Sign in to view logs

GitHub Actions / JUnit Test Report succeeded Jun 28, 2024 in 0s

3 tests run, 3 passed, 0 skipped, 0 failed.

View more details on GitHub Actions