Re: Counterexamples timeout

2022-09-16 Thread Akim Demaille
Frank, > Le 16 sept. 2022 à 11:12, Frank Heckenbach a écrit : > > Akim Demaille wrote: > >>> Le 15 sept. 2022 à 19:02, Jacob L. Mandelson a >>> écrit : >>> >>> I think the English text needs a few minor edits.[...] >> >> Thanks a lot for this! I installed the following commit, with your fi

Re: Enhancement Request

2022-09-16 Thread Frank Heckenbach
Arthur Schwarz wrote: > You're reading too much into what needs to be done. > [...] but I don't think it will take considerable code. I know you're not a troll, but honestly, you're starting to sound like one. Akim, Kaz and I have given several specific arguments. You do not address them at all a

Re: Counterexamples timeout

2022-09-16 Thread Frank Heckenbach
Akim Demaille wrote: > > Le 15 sept. 2022 à 19:02, Jacob L. Mandelson a > > écrit : > > > > I think the English text needs a few minor edits.[...] > > Thanks a lot for this! I installed the following commit, with your fixes. Thanks. It looks good; I can't easily test it now, but after the ne