Issues: sazare/cheaplogic
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
I will make a function that search all contradictions in a clauses set and goals
cheaplogic
general on cheaplogic
enhancement
New feature or request
make it
rubbish
lisp rubbish only
#229
opened Mar 1, 2024 by
sazare
gtrailはlinear resolutionぽい
cheaplogic
general on cheaplogic
rubbish
lisp rubbish only
#228
opened Mar 1, 2024 by
sazare
pure-prover-gtrailで newgoallistの制御がおかしくて消えていく
bug
Something isn't working
cheaplogic
general on cheaplogic
#226
opened Feb 20, 2024 by
sazare
引数の評価ができるか? when *enable-semantix* = T
cheaplogic
general on cheaplogic
let me know
rubbish
lisp rubbish only
#224
opened May 23, 2023 by
sazare
すべてのkqcを実行し、その結果と実行時間をまとめる
cheaplogic
general on cheaplogic
make it
#223
opened May 23, 2023 by
sazare
commit 41f33d3
cheaplogic
general on cheaplogic
question
Further information is requested
#222
opened May 17, 2023 by
sazare
orphanは無視して[]判定すればよいのではないか
cheaplogic
general on cheaplogic
enhancement
New feature or request
question
Further information is requested
rubbish
lisp rubbish only
#219
opened Feb 13, 2023 by
sazare
*num-of-trials* > *max-trials* occured
bug
Something isn't working
rubbish
lisp rubbish only
#218
opened Feb 12, 2023 by
sazare
How to detect inconsistency of a clause set.
cheaplogic
general on cheaplogic
question
Further information is requested
#217
opened Feb 11, 2023 by
sazare
let extract cheaplogic/rubbish to new repository
cheaplogic
general on cheaplogic
rubbish
lisp rubbish only
#208
opened Jun 5, 2021 by
sazare
Recipeで、1つorphanができるとそこでproverが終わってしまう
cheaplogic
general on cheaplogic
enhancement
New feature or request
#207
opened Jun 2, 2021 by
sazare
changing axioms, only goal
cheaplogic
general on cheaplogic
question
Further information is requested
#201
opened Jan 10, 2021 by
sazare
if newvar make a var x.yyy where x is rootof var, yyy is clid or name.
#200
opened Oct 18, 2020 by
sazare
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.