Hi all,
Lets say I have 3 files a.txt and b.txt and c.txt.
a.txt has the following text
====================
apple is good for health
b.txt has the following text
====================
apple is pomme in french
c.txt has the following text
====================
orange has citric acid... (1 Reply)
Hi,
I am trying to find the content of file using grep and find command and list only the file names
but i am getting entire file list of files in the directory
find . -exec grep "test" {} \; -ls
Can anyone of you correct this (2 Replies)
Hi, I have a file called fl_list consists of files i have to archive. I want to create a exception parm called except_parm, so if it finds the directory it will not archive these files and remove from fl_list.
$ cat fl_list
/apps/dev/ihub/ready/IA003B/IA003B_Deal_Header_yyyymmdd_hhmmss.txt... (1 Reply)
Hi all,
I have 2 files, One file contain data like this
FHIT
CS
CHRM1
PDE3A
PDE3B
HSP90AA1
PTK2
HTR1A
ESR1
PARP1
PLA2G1B
These names are mentioned in the second file(Please see attached second file) as
# Drug_Target_X_Gene_Name:(Where X can be any number (1-1000) (1 Reply)
Hi all,
I have 2 files, One file contain data like this
FHIT
CS
CHRM1
PDE3A
PDE3B
HSP90AA1
PTK2
HTR1A
ESR1
PARP1
PLA2G1B
These names are mentioned in the second file(Please see attached second file) as (7 Replies)
Hi,
I have log file which rolls out every second which is as this.
HttpGenRequest - -<!--OXi dbPublish--> <created="2014-03-24 23:45:37" lastMsgId="" requestTime="0.0333"> <response request="getOutcomeDetails" code="114" message="Request found no matching data" debug="" provider="undefined"/>... (3 Replies)
Hi,
I have a file with complex data without delimiter, have requirement to fetch the specific record based on some charcters.
here is my file data
... (12 Replies)
Discussion started by: Riverstone
12 Replies
LEARN ABOUT DEBIAN
anldp
ANLDP(1) General Commands Manual ANLDP(1)NAME
anldp - implementation of Davis-Putnam propositional satisfiability procedure
SYNOPSIS
anldp [options] < input-file > output-file
DESCRIPTION
This manual page documents briefly the anldp command.
anldp is an implementation of a Davis-Putnam procedure for the propositional satisfiability problem. anldp exposes the procedure used by
mace2(1) to determine satisfiability. anldp can also take statements in first-order logic with equality and a domain size n then search
for models of size n. The first-order model-searching code transforms the statements into set of propositional clauses such that the first-
order statements have a model of size n if and only if the propositional clauses are satisfiable. The propositional set is then given to
the Davis-Putnam code; any propositional models that are found can be translated to models of the first-order statements. The first-order
model-searching program accepts statements only in a flattened relational clause form without function symbols.
OPTIONS -s Perform subsumption. (Subsumption is always performed during unit preprocessing.)
-p Print models as they are found.
-m n Stop when the nth model is found.
-t n Stop after n seconds.
-k n Allocate at most n kbytes for storage of clauses.
-x n Quasigroup experiment n.
-B file
Backup assignments to a file.
-b n Backup assignments every n seconds.
-R file
Restore assignments from a file. The file typically contains just the last line of a backup file. Other input, in particular the
clauses, must be given exactly as in the original search.
-n n This option is used for first-order model searches. The parameter n specifies the domain size, and its presence tells the program to
read first-order flattened relational input clauses instead of propositional clauses.
SEE ALSO formed(1), mace2(1), otter(1).
Full documentation for anldp is found in /usr/share/doc/mace2/anldp.{html,ps.gz}.
AUTHOR
anldp ws written by William McCune <otter@mcs.anl.gov>
This manual page was written by Peter Collingbourne <pcc03@doc.ic.ac.uk>, for the Debian project (but may be used by others).
November 5, 2006 ANLDP(1)
07-30-2012
