05-21-2009
Thank you
Thanks for all the replies. I ended up learning to edit w/ VI.
5 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hello all,
I'm new to UNIX and new to this forum, so forgive my lack of knowledge. I'm new with editing in vi so I FTP scripts to a Windows machine and edit the script in notepad (when I need to do something quickly). Sometimes when I FTP the script back to the UNIX box, strange characters... (4 Replies)
Discussion started by: dgower2
4 Replies
2. UNIX for Dummies Questions & Answers
Hi All,
I want to show my output for the script to notepad.Anybody know what is the command to do this...
Thanks.. (7 Replies)
Discussion started by: mastercar
7 Replies
3. Solaris
i have a file which i open in wordpad shows proper formated o/p column wise .. but same file which is txt file when i do cat in solaris shows grabbled o/p is there any way i can see the output same as wordpad or txt pad ? even in solaris ?
Following is the o/o when i do a #cat file.txt | more... (8 Replies)
Discussion started by: fugitive
8 Replies
4. UNIX for Dummies Questions & Answers
Hi,
just quick question, I currently type up my scripts in Notepad++ and then copy them into my file (in VI).
However, i've noticed that all the lines get messed up and it becomes difficult to read the script.
so i've to spend time then using '\' at the end of lines etc and re-formatting... (7 Replies)
Discussion started by: horhif
7 Replies
5. Windows & DOS: Issues & Discussions
I connect to my office server using ftp option in notepad++
I am not able to open directory's with out setting my clear case view in the notepad++
Hence pls help me in setting the view in notepad++ so that it can read all the files and directorys (6 Replies)
Discussion started by: Syed Imran
6 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)