Hi Fellows
Visiting the HOL world after a long time. Installed HOL under Linux (RHEL 3 and
also on Mac OSX-Intel), looks like a clean installation. Most basic libraries
load and work well (including HolSatLib) except for HolSmtLib.
When I load the HolSmtLib at the HOL prompt, I get the followi
Are you using mosml? I have no information about HolSmtLib, but this
Chr exception looks like the problem described here:
http://hol.sourceforge.net/InstallKananaskis.html
Thanks
On 10 January 2012 07:32, Ashish Darbari wrote:
> Hi Fellows
>
> Visiting the HOL world after a long time. Installe
Ashish,
On Tue, 2012-01-10 at 07:32 +, Ashish Darbari wrote:
> When I load the HolSmtLib at the HOL prompt, I get the [Chr] error and
> HOL crashes after this error.
In addition to Tom's reply, I would like to point out that Moscow ML
hasn't received much maintenance in recent years, and HOL4
shish
From: Tom Ridge
To: Ashish Darbari
Cc: "hol-info@lists.sourceforge.net"
Sent: Tuesday, 10 January 2012, 16:44
Subject: Re: [Hol-info] Problem loading HolSmtLib
Are you using mosml? I have no information about HolSmtLib, but this
Chr exception looks l
> *From:* Tom Ridge
> *To:* Ashish Darbari
> *Cc:* "hol-info@lists.sourceforge.net"
> *Sent:* Tuesday, 10 January 2012, 16:44
> *Subject:* Re: [Hol-info] Problem loading HolSmtLib
>
> Are you using mosml
