forked from vprover/vprover.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
License
ibnyusuf/vprover.github.io
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" lang="en-US" xml:lang="en-US"> <head> <title>Vampire Licence</title> <link href="vampire.css" rel="StyleSheet" type="text/css" /> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> </head> <body> <table style="border-collapse:collapse"><tr> <script src="scripts/nav.js"></script> <td class="content"> <h1>Vampire Licence</h1> <p>Our licence is quite liberal. In short, we do not allow modification and distribution of Vampire and the use of Vampire to compete against Vampire. To obtain a copy of Vampire you will be required to accept the terms of the licence. If you require any other licence, please contact <a href="http://www.voronkov.com/">Andrei Voronkov</a>.</p><br> <p>It should be noted that some software included with Vampire is available under a more permisive licence. For example, both <a href="https://github.com/niklasso/minisat">minisat</a> and <a href="https://github.com/Z3Prover/z3">z3</a> are used internally by Vampire.<p><br> <hr /> <h2>Vampire Software Licence Agreement</h2> <p>Copyright (c) 2017, Andrei Voronkov, the University of Manchester</p><br> <p>In the below, this Software refers to the tool known as Vampire in any form, including an executable binary, source code, any executable produced form this source code, and supporting documentation. In addition, this licence applies to all content contained within the GitHub repository including all source files (where those files are not covered by a different licence) and commit messages on all branches.</p><br> <p>Permission is hereby granted, free of charge, to use this Software for evaluation and research purposes.</p><br> <p>This license does not allow this Software to be used in a commercial context. Users wishing to use the Software in a commercial context should contact the copyright holder for an alternative licence.</p><br> <p>It is further prohibited to use this Software or a substantial portion of it in a competition or a similar competetive event, such as the CASC or SMT-COMP competitions or evaluations, without explicit written permission by the copyright holder. However, competition organizers are allowed to use this software as part of the evaluation process of a particular competition, evaluation or competetive event, if the copyright holder of this software submitted this software to this particular competition, evaluation or event explicitly.</p><br> <p>All other usage is reserved. To remove doubt, the redistribution or modification of the Software is prohibited by this licence and users wishing to do either should contact the copyright holder for an alternative licence.</p><br> <p>The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.</p><br> <p>This licence supersedes all previous licences covering usage of Vampire.</p><br> <p>THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.</p><br> </body> </html>
About
No description, website, or topics provided.
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- HTML 93.7%
- CSS 4.7%
- JavaScript 1.6%