12-29-2001
what do you mean "projects"
when i said programs i mean text edictors, compliers, ect.
also,
i went to the book store yesturday
what is the difference between "C", "C++", and "C#"
which one would you recomend me learning
thanku
skistar
10 More Discussions You Might Find Interesting
1. IP Networking
hello
i would like to get a server so i may post websites on the web
do i have to pay a lot of money to use someone else's server or is there a way to turn a computer into a basic server
please help
i am trying to find the most inexpensive way to get my own domain up on the web
if this is... (1 Reply)
Discussion started by: skistar
1 Replies
2. UNIX for Dummies Questions & Answers
hi i need some help on command grep and pipe
but the man grep and man pipe doesn't help me much
is there any site show more detail help on all the unix command?? (1 Reply)
Discussion started by: goodman
1 Replies
3. UNIX for Dummies Questions & Answers
I know I'm jsut a newbie, I'm setting up a 1.3 ghz dell as a server. I have experiance using Windows for a webserver, and I was jsut woundering if I would have great difficulty using Unix.
is there there like netscape for internet?
is there like word?
can you listen to Mp3s?
can someone... (4 Replies)
Discussion started by: Special K
4 Replies
4. UNIX Desktop Questions & Answers
Hi,
I am interested in learning unix and would like some advice on how I would start to learn unix.
Therefore,
What would be a good (free) unix distribution to install?
Would it be better to invest in a packaged Linux distribution (redhat etc) and get the feel for unix this way?
Are... (4 Replies)
Discussion started by: wolf2
4 Replies
5. UNIX for Dummies Questions & Answers
Hey all. I am a MS person that is looking to get into real computing for a change. I have seen a few different references to "UNIX Essentials and Core" DVD in different newbie threads and a quick intraweb search on Google only comes up with links to this forum and an Amazon review.
Does anyone... (3 Replies)
Discussion started by: cfjohnsn
3 Replies
6. Solaris
Hello Guys,
I just join the unix world today, I had my first lesson on unix today. So expect so much questions from me the next time I log in.
Thanks (3 Replies)
Discussion started by: Micko
3 Replies
7. UNIX for Dummies Questions & Answers
Hello everyone,
Just started UNIX today! In our school we use solaris. I just want to know how do I setup Solaris 10 not the GUI one, the one where you have to type the commands like ECHO, ls, pwd, etc... I have windows xp and I also have vmware.
I hope I am not missing anything! :p (4 Replies)
Discussion started by: Hanamachi
4 Replies
8. Shell Programming and Scripting
Hello everyone,
I am having to do a lot of perl scripting these days and I am learning a lot.
I have this problem
I want to move files from a folder and all its sub folders to one parent folder, they are all .gz files..
there is folder1\folder2\*.gz
and there are about 50 folders... (1 Reply)
Discussion started by: xytiz
1 Replies
9. UNIX for Dummies Questions & Answers
please help me with my assignment. i have no background with unix programming. so please do help me.
here is the problem
Develop a utility that will enhance the current file management and
organization functions of Linux.
You may use existing file management commands to create... (1 Reply)
Discussion started by: jaesen_b23
1 Replies
10. Shell Programming and Scripting
Hi,
I am new to programming and also to perl..But i know 'perl' can come to my rescue, But I am stuck at many places and need help..any small help is much appreciated... below is the description of what i intend to acheive with my script.
I have a files named in this format... (13 Replies)
Discussion started by: xytiz
13 Replies
CLASP(1) General Commands Manual CLASP(1)
NAME
clasp - a conflict-driven nogood learning answer set solver
SYNOPSIS
clasp [number][options]
DESCRIPTION
This manual page documents briefly the clasp command.
clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set program-
ming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-
driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp
does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for
answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT
solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format).
OPTIONS
These programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options is
included below. For a complete description, see <http://www.cs.uni-potsdam.de/clasp/>.
-h, --help
Show summary of options.
-v, --version
Show version of program.
SEE ALSO
gringo(1).
AUTHOR
clasp was written by Benjamin Kaufmann <kaufmann@cs.uni-potsdam.de>.
This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others).
March 4, 2010 CLASP(1)