Re: SNARK is now open source.

On October 30, Dan Connolly writes:
> On Wed, 2002-10-30 at 10:16, Richard Waldinger wrote:
> > 
> > SNARK - SRI's New Automated Reasoning Kit
> > http://www.ai.sri.com/~stickel/snark.html
> 
> This is excellent news!
> 
> There's really a lot of excellent research and
> some fairly mature engineering in formal methods,
> and I'm really excited to see any barriers
> to wider deployment and understanding of it,
> such as licensing constraints, removed.
> 
> Ian, did you tell me that while the
> release of all of oiled as open source
> isn't quite done[1], the FaCT reasoner itself
> is open source already? I can't confirm
> from what I can see at a glance.

The source of FaCT has always been included in the distribution under
GPL. I'm not sure if GPL = Open source?

I need to check on the status of OilEd - it is also planned to release
that under GPL.

Ian


> 
> http://www.cs.man.ac.uk/~horrocks/FaCT/
> 
> 
> [1] "OilEd will soon be made available as an open-source project"
> 	-- http://oiled.man.ac.uk/
> 
> -- 
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
>