Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
E_DEDUCTION_SERVER(1)		 User Commands		 E_DEDUCTION_SERVER(1)

NAME
       e_deduction_server - manual page	for e_deduction_server 2.0 Turzum

SYNOPSIS
       e_deduction_server [options] [files]

DESCRIPTION
       e_deduction_server 2.0 "Turzum"

       Read a CASC 24 LTB batch	specification file and process it.

OPTIONS
       -h

       --help

	      Print a short description	of program usage and options.

       -V

       --version

	      Print the	version	number of the prover. Please include this with
	      all bug reports (if any).

       -v

       --verbose[=<arg>]

	      Verbose comments on the progress of the  program.	 This  differs
	      from  the	 output	level (below) in that technical	information is
	      printed to stderr, while the output level	determines which logi-
	      cal  manipulations  of  the  clauses  are	printed	to stdout. The
	      short form or the	long form without  the	optional  argument  is
	      equivalent to --verbose=1.

       -p <arg>

       --port=<arg>

	      The  port	on which the server will receive connections. Only ef-
	      fective when interactive mode is on. If not  given  stdin/stdout
	      will be used.

       -s

       --silent

	      Equivalent to --output-level=0.

       -l <arg>

       --output-level=<arg>

	      Select  an  output level,	greater	values imply more verbose out-
	      put. Level 0 produces nearly no output, level 1 will output each
	      clause as	it is processed, level 2 will output generating	infer-
	      ences, level 3 will give a full protocol including rewrite steps
	      and  level 4 will	include	some internal clause renamings.	Levels
	      >= 2 also	imply PCL2 or TSTP formats  (which  can	 be  post-pro-
	      cessed with suitable tools).

       -w <arg>

       --wtc-limit=<arg>

	      Set the global wall-clock	limit for each batch (if any).

       -L <arg>

       --lib=<arg>

	      Set the axioms library directory of the server.

REPORTING BUGS
       Report  bugs  to	<schulz@eprover.org>. Please include the following, if
       possible:

       * The version of	the package as reported	by eprover --version.

       * The operating system and version.

       * The exact command line	that leads to the unexpected behaviour.

       * A description of what you expected and	what actually happend.

       * If possible all input files necessary to reproduce the	bug.

COPYRIGHT
       Copyright 1998-2017 by Stephan Schulz, schulz@eprover.org,  and	the  E
       contributors (see DOC/CONTRIBUTORS).

       This  program  is  a part of the	distribution of	the equational theorem
       prover E. You can find the latest version of the	E distribution as well
       as additional information at http://www.eprover.org

       This program is free software; you can redistribute it and/or modify it
       under the terms of the GNU General Public License as published  by  the
       Free  Software Foundation; either version 2 of the License, or (at your
       option) any later version.

       This program is distributed in the hope that it	will  be  useful,  but
       WITHOUT	ANY  WARRANTY;	without	 even  the  implied  warranty  of MER-
       CHANTABILITY or FITNESS FOR A PARTICULAR	PURPOSE.  See the GNU  General
       Public License for more details.

       You should have received	a copy of the GNU General Public License along
       with this program (it should be contained in the	top level directory of
       the  distribution in the	file COPYING); if not, write to	the Free Soft-
       ware  Foundation,  Inc.,	 59  Temple  Place,  Suite  330,  Boston,   MA
       02111-1307 USA

       The original copyright holder can be contacted via email	or as

       Stephan	Schulz	DHBW  Stuttgart	 Fakultaet  Technik  Informatik	 Rote-
       buehlplatz 41 70178 Stuttgart Germany

e_deduction_server 2.0 Turzum	  August 2020		 E_DEDUCTION_SERVER(1)

NAME | SYNOPSIS | DESCRIPTION | OPTIONS | REPORTING BUGS | COPYRIGHT

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=e_deduction_server&sektion=1&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help