08-20-2015
I was searching on the internet and found many pdp-11 models at wikipedia.com page:
https://en.wikipedia.org/wiki/PDP-11 ,in the models section in the page i found many many models which model of pdp-11 ran unix 6 and was targeted by Ritchie's Compiler For Unix ... does it vary from model to another ?? thanx
10 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
hello ..
I am college student and a new guy to unix.
I have a simple question:
what does "unix" stand for ,or just a meaningless name ? (4 Replies)
Discussion started by: nanuo
4 Replies
2. UNIX for Dummies Questions & Answers
14 (2 Replies)
Discussion started by: zbweh5280
2 Replies
3. Programming
I want to do kernel programming.So which site or books help me in studying these.I know C programming to a little extent.Please advice me (4 Replies)
Discussion started by: ranjith
4 Replies
4. UNIX for Dummies Questions & Answers
hi I am vijay
how r the unix gurus?
I want to install unix for our sites.So pls tell me abt unix installation user guide & also all the unix commands.Pls help me.I am waiting for yr reply.
bye..........vijay :D (2 Replies)
Discussion started by: vi77_surat
2 Replies
5. Programming
HI Friends,
I wanted to start this thread inorder to keep all the Unix starters to easily find useful material through this thread...I request you all to provide with the URL address of any gud material you know...
thanks and regards... (2 Replies)
Discussion started by: rahul3894singh
2 Replies
6. UNIX for Dummies Questions & Answers
Any study material for begineers for UNIX please?? (2 Replies)
Discussion started by: niranjany
2 Replies
7. UNIX for Dummies Questions & Answers
Hi, I need some help with the follow questions :(. Any help would be great!
Answer with the necessary commands
1. In your login directory, make a directory called week4/revision
2. Without changing directories, make another directory week4_revision/data
3. Change to week4_revision/data... (2 Replies)
Discussion started by: Heyo
2 Replies
8. Programming
Hi..
I am a new joinee to this foram.I need to submit a case study in UNIX .Please help me to submit the case study by giving your valuable ideas.It will be very helpful for me.
Topic: Unix File Management
A university wants to computerize its Library operations because of... (2 Replies)
Discussion started by: viji_jeya
2 Replies
9. UNIX for Dummies Questions & Answers
Hi ,
Can anyone suggest me any UNIX Study material and UNIX Certification specific for TELECOM-DOMAIN.
Best Regards,
Om Prakash. (14 Replies)
Discussion started by: omprakash1986
14 Replies
10. Shell Programming and Scripting
why does this not work, confused
#!/bin/ksh
x="x"
echo "Enter a name: "
read NAME
while
do
echo $NAME
echo
if
then
echo ":"
else
echo $NAME
fi
echo
echo "Enter a Name: "
read NAME (8 Replies)
Discussion started by: Gmoney93079
8 Replies
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)