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)
Check Out this Related Man Page
DEPQBF(1) General Commands Manual DEPQBF(1)NAME
depqbf - a solver for quantified boolean formulae
SYNOPSIS
depqbf [options ...] [NUM] [FILE]
DESCRIPTION
depqbf is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm
for QBF with conflict-driven clause and solution-driven cube learning. By analyzing the structure of a formula, DepQBF tries to identify
independent variables. In addition to other benefits, this often increases freedom for decision making. See also the JSAT system descrip-
tion of DepQBF 0.1 from QBFEVAL'10 for references and a brief outline of the idea.
depqbf reads QBF formulas in QDIMACS format. If FILE is not given, it reads its input from stdin. It complies with input/output standards
as required by QBFEVAL'10.
OPTIONS
depqbf accepts the following options:
-h, --help
Print usage information.
--version
Print version.
--pretty-print
Only parse and print formula.
-v Increase verbosity incrementally.
NUM Optional: time-out after NUM seconds.
FILE Optional: read input from FILE.
EXIT STATUS
The exit status is 10 if the QBF formula given as input is satisfiable, and 20 if it is unsatisfiable; any other exit code indicates that
the formula was not solved.
SEE ALSO picosat(1), minisat(1), clasp(1).
AUTHOR
depqbf was written by Florian Lonsing <florian.lonsing@jku.at>.
This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
August 26, 2011 DEPQBF(1)
I have been asked to use ASP on UNIX and I have no idea what the limitations are. I have pages using ASP on NT with SQL7, is there an easy transition for my current pages to work on UNIX? Any help is much appreciated. THX (5 Replies)
I have been in computers for 30 years and know everything about MS, but nothing about anything else. Been developping websites (inter alia) running on MS servers using ASP's and vbScripts which apparently does not work under Unix.
My own website is being hosted on a Unix server and I need to... (4 Replies)
I tried PC-BSD a year or 2 ago, but the command-stuff wasn't clear to me, not knowing anything about UNIX.
I decided to go from scratch to learn more and installed FreeBSD7.
Now I find this is taking too much time (which I don't have; full time job + playing music + being over 50) to learn... (5 Replies)
I'm in college now and a part of a subject in this semester is learning UNIX, though the teacher failed to explain the basics, I feel, we got straight to the Unix Terminal and started putting in commands without much explanation what they were for. I quickly adapted to the basic ones, but in 5... (4 Replies)
Discussion started by: aco036
4 Replies
6. Post Here to Contact Site Administrators and Moderators
Quick question,
I'm learning shell scripting on my own from resources like the 'Teach Yourself' books, web sites, etc. If I have any questions about these materials, do I still need to post them to the homework section?
The template asks specific things like school associated with or... (7 Replies)
Hello,
I am currently learning UNIX scripting and have written a simple copy program.
However, upon execution, it returns an error despite debugging correctly.
Can anyone assist in explaining this?
Attached screenshots illustrating a test execution.
Many thanks. (13 Replies)
I started venturing in learning the art of using AWK/GAWK and wanted to simply added a period from line #11 to line #28 or to the end of the file if there is data. So for example:
11 Centos.NM
12 dojo1
13 redhat.5.5.32Bit
14 redhat.6.2.64Bit... (5 Replies)
Gents for 2013 I have embarked on learning C and just wrote my first script and need some help. In the learning process, I am trying to understand where I went wrong with my script. The flow of the script is as such:
Enter a number --> check if it is a number --> if it is not a number,print what... (4 Replies)
Hello Experts,
I am still learning linux and have come across a question, hope to get some answer.
I have two servers, and both have the same version of svn client installed and both have the same user_id.
my SVN client version:
svn, version 1.6.11 (r934486)
compiled Mar 2 2011,... (4 Replies)
Is anyone actively learning, auditing or participating (for credit) at edX?
There are some really great science and engineering programs there and they are all free to audit. For example, take a look at these classes related to:
C Programming
Quantum Physics
Computer Science
... (6 Replies)
Hello All,
I had recently learnt a bit of Docker(which provides containerization process).
Here are some of my learning points from it.
Let us start first with very basic question:
What is Docker:
Docker is a platform for sysadmins and developers to DEPLOY, DEVELOP and RUN applications ... (7 Replies)
I don't know how to start this but here goes.
I've been "using" Linux for over 10 years, possibly more and I still feel like I'm nowhere
where I should be. I'll be fair most of my time was spent either figuring out how
to run games on *nix at the time but as I got older and "wiser" I... (8 Replies)
Hello All,
After getting inspired from Neo, I have started a bit of JS learning these days. Whenever I learn something I will try to post it here(as of now my learning is NOT exactly bookish where I am going chapter by chapter etc, it could be more like small-small project vice kind of), I... (25 Replies)