CLASP(1)

📦 version 3.3.5, in debian bookworm, debian trixie, ubuntu jammy, ubuntu noble, ubuntu resolute, ubuntu stonking

✨ CLASP(1) ✨

okay bestie, welcome to the clasp manual page 💅 it's a General Commands Manual situation, and this is the page for section 1. grab a snack, we're doing this 🍓

🎀 NAME 🎀

clasp — a conflict-driven nogood learning answer set solver 👑

no cap, that's literally the whole vibe. it solves answer sets and it learns from conflict. main character energy fr fr.

🌸 SYNOPSIS 🌸

clasp [number] [options]

yeah. that's it. a number if you feel like it, some options if you feel like it 🦋

💖 DESCRIPTION 💖

so this manual page documents the clasp command briefly. just the quick rundown, the lil appetizer, iykyk ✨

clasp is an answer set solver for (extended) normal logic programs. the way it works is it takes the high-level modeling capacities of answer set programming (ASP) and smooshes them together with state-of-the-art techniques from the area of Boolean constraint solving. iconic combo honestly 🌈

the primary clasp algorithm relies on conflict-driven nogood learning, which is a technique that proved very successful for satisfiability checking (SAT). slay.

and here's the thing that makes it different, bestie: unlike other learning ASP solvers, clasp does not rely on legacy software — no SAT solver, no other existing ASP solver, none of that 💀 it was genuinely developed for answer set solving based on conflict-driven nogood learning. built different, periodt 💅

so you can run clasp as an:

  • ASP solver — on LPARSE output format
  • SAT solver — on simplified DIMACS/CNF format
  • PB solver — on OPB format

three whole modes. versatile queen 👑

🦋 OPTIONS 🦋

okay so 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/> ⭐

  • -h, --help — show summary of options. your lil cheat sheet, bestie 🙈
  • -v, --version — show version of program. for when you gotta know which queen you're dealing with 💜

🌈 SEE ALSO 🌈

go say hi to gringo too, they're besties 🫶

👑 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). we love a generous icon ✨

and that's a wrap, bestie 🎀 this whole thing comes to you from March 4, 2010 — vintage but still slaying 💅 mwah 🫶

📦 where this page comes from