Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add a shortcut command to run the reasoner #645

Closed
matentzn opened this issue Aug 5, 2022 · 1 comment
Closed

Add a shortcut command to run the reasoner #645

matentzn opened this issue Aug 5, 2022 · 1 comment
Milestone
1.4

Comments

@matentzn
Copy link
Contributor

matentzn commented Aug 5, 2022

Add make reason_test to do a quick check if ontology has no unsats.
@matentzn matentzn added this to the 1.3.2 milestone Aug 5, 2022
@matentzn matentzn self-assigned this Aug 5, 2022
@matentzn matentzn removed their assignment Dec 4, 2022
@matentzn
Copy link
Contributor Author

matentzn commented Dec 4, 2022

This has already been implemented.

@matentzn matentzn closed this as completed Dec 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.4
Development

No branches or pull requests
1 participant
@matentzn