mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-19 20:13:01 -04:00
69 lines
2.5 KiB
Diff
69 lines
2.5 KiB
Diff
From: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
|
|
Date: Wed, 30 Nov 2016 08:39:00 +0100
|
|
Subject: Add clasp.1 manpage
|
|
|
|
--- /dev/null
|
|
+++ b/clasp.1
|
|
@@ -0,0 +1,61 @@
|
|
+.\" Hey, EMACS: -*- nroff -*-
|
|
+.\" First parameter, NAME, should be all caps
|
|
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
|
|
+.\" other parameters are allowed: see man(7), man(1)
|
|
+.TH CLASP 1 "March 4, 2010"
|
|
+.\" Please adjust this date whenever revising the manpage.
|
|
+.\"
|
|
+.\" Some roff macros, for reference:
|
|
+.\" .nh disable hyphenation
|
|
+.\" .hy enable hyphenation
|
|
+.\" .ad l left justify
|
|
+.\" .ad b justify to both left and right margins
|
|
+.\" .nf disable filling
|
|
+.\" .fi enable filling
|
|
+.\" .br insert line break
|
|
+.\" .sp <n> insert n+1 empty lines
|
|
+.\" for manpage-specific macros, see man(7)
|
|
+.SH NAME
|
|
+clasp \- a conflict-driven nogood learning answer set solver
|
|
+.SH SYNOPSIS
|
|
+.B clasp
|
|
+[\fInumber\fR] \fR[\fIoptions\fR]
|
|
+.SH DESCRIPTION
|
|
+This manual page documents briefly the
|
|
+.B clasp
|
|
+command.
|
|
+.PP
|
|
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
|
|
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
|
|
+.\" respectively.
|
|
+\fBclasp\fP is an answer set solver for (extended) normal logic
|
|
+programs. It combines the high-level modeling capacities of answer set
|
|
+programming (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).
|
|
+.SH 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.potassco.org/clasp/>.
|
|
+.TP
|
|
+.B \-h, \-\-help
|
|
+Show summary of options.
|
|
+.TP
|
|
+.B \-v, \-\-version
|
|
+Show version of program.
|
|
+.SH SEE ALSO
|
|
+.BR gringo (1).
|
|
+.br
|
|
+.SH AUTHOR
|
|
+clasp was written by Benjamin Kaufmann <kaufmann@cs.uni-potsdam.de>.
|
|
+.PP
|
|
+This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>,
|
|
+for the Debian project (and may be used by others).
|