Re: Lots of problems with cypm

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 11 Apr 2019 18:07:10 +0200

On 4/11/19 2:20 AM, Andy Jost wrote:
> Thanks for your help. Updating cypm with sqlite seems to have helped. I can now run cypm list in about 10 seconds, which I can easily work with.
>
> I also installed the latest KiCS2 and tried it that way. It completes in 0.7 seconds.

I am happy to read that it works better now.

Good luck for your further work,

Michael

Received on Thu Apr 11 2019 - 18:07:37 CEST

This archive was generated by hypermail 2.3.0 : Wed Sep 18 2019 - 07:15:10 CEST