Repository navigation
Conversation
|
It'd be great to get your input on this, as I'm still trying to adapt to the style you've used. Took me a while to figure out what you were doing here... @st.composite
def NNF(draw):
return draw(st.recursive(variables(), internal))...but it's some awesome stuff! As I was writing the test case, I found myself needing a "forgetting" mechanism (cf. #7 ). Let me know if it happens to be somewhere there under a different name. |
blyxxyz
left a comment
blyxxyz
left a comment
There was a problem hiding this comment.
I found some problems but this looks good overall.
|
@blyxxyz Good to merge with this one? Thanks for bearing with me! |
|
Ouch... Lgtm. Merge away if you're fine with it. Will make kissat optional tonight on the other branch. |
|
Merged to have a cleaner PR on the kissat integration. Feel free to re-open if anything remains, but I think we're pretty well set here. |
Closes #5