[SMT-LIB] SMT-LIB collateral licencing

[Joseph Kiniry]

Hi Jim et al,

On 25 Oct, 2007, at 2:59, Grundy, Jim D wrote:

> Hello SMT-LIBers
>
> The SMT-LIB effort encompases some intellectual property in the  
> form of
> copyrights to the documentation, benchmark files and the logic and
> theory files.  I'd like to encourage a discussion of how the ownership
> of that property should be recorded and licenced.
...snip...

Some might argue that these theories are closer to math/writing than  
program code, so perhaps a Creative Commons License?  This is how we  
license our technical documentation that includes plenty of mathematics.
   http://creativecommons.org/

Joe
---
Joseph Kiniry
School of Computer Science and Informatics
UCD CASL
University College Dublin
http://kind.ucd.ie/
http://srg.cs.ucd.ie/
http://casl.ucd.ie/