We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
readmeをいい感じにかく
The text was updated successfully, but these errors were encountered:
入力された一階述語論理式の充足不可能性を判定するツールです。 アルゴリズムには、導出原理(*Resolution Principle*)を用いています。 充足不可能性が判定できた場合は、導出反駁木(*Refutation Tree*)を表すGraphvizのソースコードを出力可能です。
Sorry, something went wrong.
No branches or pull requests
readmeをいい感じにかく
The text was updated successfully, but these errors were encountered: