Missed some information.
License: non-standard (BSD-like, see below)
Notes: The standard source distribution includes some non-free
components, but these are easily stripped out by doing "./configure
--disable-X", then "make dist".
The package includes an executable (cvc3), library (libcvc3), and JNI
bindings for the library, each of which could be packaged separately for
Ubuntu.
I plan to make the package from CVS, which I have access to, but which
is not public.
Here's the license text:
License to use, copy, modify, sell and/or distribute this software
and its documentation for any purpose is hereby granted without
royalty, subject to the following terms and conditions:
.
1. The above copyright notice and this permission notice must
appear in all copies of the software and related documentation.
.
2. The names of the Copyright Owners may not be used in
advertising or publicity pertaining to distribution of the
software without the specific, prior written permission of the
Copyright Owners.
.
3. This software may not be called "CVC3" if it has been modified
in any way, without the specific prior written permission of Clark
Barrett.
.
4. THE SOFTWARE IS PROVIDED "AS-IS" AND THE COPYRIGHT OWNERS MAKE
NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, BY WAY OF
EXAMPLE, BUT NOT LIMITATION. THE COPYRIGHT OWNERS MAKE NO
REPRESENTATIONS OR WARRANTIES OF MERCHANTABILITY OR FITNESS FOR
ANY PARTICULAR PURPOSE OR THAT THE USE OF THE SOFTWARE WILL NOT
INFRINGE ANY PATENTS, COPYRIGHTS TRADEMARKS OR OTHER RIGHTS. THE
COPYRIGHT OWNERS SHALL NOT BE LIABLE FOR ANY LIABILITY OR DAMAGES
WITH RESPECT TO ANY CLAIM BY LICENSEE OR ANY THIRD PARTY ON
ACCOUNT OF, OR ARISING FROM THE LICENSE, OR ANY SUBLICENSE OR USE
OF THE SOFTWARE OR ANY SERVICE OR SUPPORT.
.
LICENSEE shall indemnify, hold harmless and defend the Copyright
Owners and their trustees, officers, employees, students and
agents against any and all claims arising out of the exercise of
any rights under this Agreement, including, without limiting the
generality of the foregoing, against any damages, losses or
liabilities whatsoever with respect to death or injury to person
or damage to property arising from or out of the possession, use,
or operation of Software or Licensed Program(s) by LICENSEE or its
customers.
** Changed in: ubuntu
Status: New => In Progress
--
[needs-packaging] CVC3
https://bugs.launchpad.net/bugs/320635
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
