Linux and UNIX Man Pages

Test Your Knowledge in Computers #987
Difficulty: Medium
The FreeBSD TCP/IP stack is based on the 4.2BSD implementation of TCP/IP.
True or False?
Linux & Unix Commands - Search Man Pages

clausefilter(1) [debian man page]

CLAUSEFILTER(1) 					      General Commands Manual						   CLAUSEFILTER(1)

NAME
clausefilter - filter formulas with models SYNOPSIS
clausefilter <interpretations-file> <test> < <formulas-file> > <passing-formulas-file> DESCRIPTION
This manual page documents briefly the clausefilter command. Given a set of interpretations, a test to perform, and a stream of formulas, clausefilter outputs the formulas that pass the test. TESTS
The following tests are available. true_in_all Formula true in all interpretations. true_in_some Formula true in some interpretation. false_in_all Formula false in all interpretations. false_in_some Formula false in some interpretation. SEE ALSO
prover9(1), mace4(1). Full documentation for clausefilter is found in the prover9 manual, available on Debian systems in the prover9-doc package at /usr/share/doc/prover9-doc/manual/index.html. AUTHOR
clausefilter was written by William McCune <mccune@cs.unm.edu> This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others). January 20, 2007 CLAUSEFILTER(1)

Check Out this Related Man Page

INTERPFORMAT(1) 					      General Commands Manual						   INTERPFORMAT(1)

NAME
interpformat - tool for transforming mace4(1) models SYNOPSIS
interpformat [options] <transformation> -f input-file > output-file interpformat [options] <transformation> < input-file > output-file DESCRIPTION
The models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat. TRANSFORMATIONS
The transformations are listed here. standard one line per operation standard2 standard, with binary operations in a square (default) portable list of lists, suitable for parsing by Python, GAP, etc. tabular as nice tables raw similar to standard, but without punctuation cooked as terms, e.g., f(0,1)=2 tex formatted for LaTeX xml XML OPTIONS
A summary of options is included below. output <operations> Output only the listed operations. wrap Enclose output in list(interpretations). SEE ALSO
mace4(1). Full documentation for interpformat is found in the prover9 manual, available on Debian systems in the prover9-doc package at /usr/share/doc/prover9-doc/manual/index.html. AUTHOR
interpformat was written by William McCune <mccune@cs.unm.edu> This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others). January 20, 2007 INTERPFORMAT(1)

5 More Discussions You Might Find Interesting

1. UNIX for Advanced & Expert Users

Quadratic Formula Program

I have a question about the program I am making. I finished it, compiled it, and there were no errors. Now when I run it, the comand prompt comes up and there are just 1's and 0's that keep looping over and over again. The program is listed before. If anyone has any suggestions I would greatly... (2 Replies)
Discussion started by: zeek
2 Replies

2. Shell Programming and Scripting

Extracting values from files

Im trying to create a utility that can do unit conversions using a seperate formula file(one which i can add conversions to at a later date). however i'm stuck when it comes to pulling the formulas out of the formula file for use in the script. heres a rundown of what the script does. The... (4 Replies)
Discussion started by: Master Error
4 Replies

3. UNIX for Dummies Questions & Answers

Formula help

The formula below will calculate a distance in miles between 2 points in excel. Can some put it to work in unix? Lat = 43.335 Lon1 = -70.9884 Lat2 = 43.4829 Lon2 = -71.246 distance... (8 Replies)
Discussion started by: bobo
8 Replies

4. Shell Programming and Scripting

Formula to get combinationů sum

Formula to get combination Lats say, I have 5 values ID Price 1 5 2 10 3 30 4 5 Resule with Possible combinations will be ID Price 1 5 2 10 3 30 4 5 1+1 10 1+2 15 1+3 35 1+4 10 (1 Reply)
Discussion started by: Amit.Sagpariya
1 Replies

5. Shell Programming and Scripting

Excel table like output with printf

Hi All; I try to create a excel like table with headers and some fields containing values, other long and complex mathematic formulas. I have some header like : Name Formula Value True/False Under name column, they are some formula names, formula column some long mathematic formulas... (9 Replies)
Discussion started by: reseki
9 Replies

Featured Tech Videos