| Home | Grammar | Facts | Reasoning | Knowledge base | Software | Download |
The current version of the Verish program is Verish 0.95. It is provided as three source code files written in ANSI C++:
The program is licensed for use under the Free Software Foundation General Public License. By downloading, building, and using the program, you agree that the program comes with ABSOLUTELY NO WARRANTY, to the extent permitted by applicable law, and you agree to indemnify the program author, Chris Austin, and hold him harmless in the event of any malfunction of the program.
If you find a bug or error in the program that is not included in the list of known issues, please send a bug report to the program author, Chris Austin, who will attempt to resolve the issue as rapidly as practical.
In addition to the knowledge base pages on this website, the Verish knowledge base is provided, with no html markup outside Comments, in the file:
The reasoning in the knowledge base can be checked by running the Verish program on kb.ver. The knowledge base pages have been produced from kb.ver by use of the Verish program with the -addhtmlmkup option, and the header and footer files vtop and vbot. kb.ver is licensed for use under the Free Software Foundation Free Documentation License (FSF FDL). This allows you to include kb.ver, or parts of it, in your own Developments, provided they are also licensed under the FSF FDL. Please give due credit to the original author, Chris Austin, if you do this.
The English and Verish text on this website is licensed for use under the Free Software Foundation Free Documentation License, and the software is licensed for use under the Free Software Foundation General Public License.
Page last updated 25 May 2018. Copyright (c) Chris Austin 1997 - 2018. Privacy policy