Trevor Hansen

Thanks Mate! I've not tried Kissat before. I'll run some experiments with it and see how it goes. Do you think there's any point in me trying to find better...

I'm keen to get a release out early next month. That'd fit in nicely with SMTCOMP 2022. Of the listed issues, only #388 seems important to me. Is there anything...

To me these looks like nice cases to get done before the next release, which I'll work through unless anyone has better ideas? - [] #357 - [] #365 -...

Thanks @251. The trend with STP has been to add more processing steps, which are justified for hard problems, but probably aren't required for yours. Is there some way for...

> Another option to consider is to run them as inprocessing rather than preprocessing ;) That's a nice idea. In my time there's only been a little bit of effort...

Thanks @251 When I try with smtlib2 format it takes about 150ms. See below. Could it be that case that reading from the counter example is really slow? When I...

>>Could it be that case that reading from the counter example is really slow? >Maybe but why? When I run the smtlib2 instance on my machine it takes about 150ms,...

Thanks Mate! I've checked in a first attempt as below. It seems like the way I've done it the assumptions aren't being used to deduce level0 assignments? Can it be...

Thanks Mate, I'll try sending all the clauses each time and see if it's fast enough. There's a small number of clauses (

Thanks Mate, I've checked in a version without assumptions that seems to work (5c0e9a0baa757f333b945238370ede2a9036172f). It's about 100 times slower than with assumptions, but I think it's good enough. I'll check...