actions: []
api_documentation: http://docs.ros.org/hydro/api/clasp/html
authors: Benjamin Kaufmann
brief: ''
bugtracker: https://github.com/utexas-bwi/bwi_planning/issues
depends:
- cmake_modules
- tbb
- catkin
depends_on:
- bwi_planning
description: "This ROS package contains the clasp answer set solver for\n    (extended)\
  \ normal logic programs developed at the University of\n    Potsdam.\n\n    Clasp\
  \ combines the high-level modeling capacities of answer set\n    programming (ASP)\
  \ with state-of-the-art techniques from the area\n    of Boolean constraint solving.\
  \ The primary clasp algorithm relies\n    on conflict-driven nogood learning, a\
  \ technique that proved very\n    successful for satisfiability checking (SAT).\
  \ Unlike other\n    learning ASP solvers, clasp does not rely on legacy software,\
  \ such\n    as a SAT solver or any other existing ASP solver. Rather, clasp\n  \
  \  has been genuinely developed for answer set solving based on\n    conflict-driven\
  \ nogood learning. clasp can be applied as an ASP\n    solver (on SMODELS format,\
  \ as output by Gringo), as a SAT solver\n    (on a simplified version of DIMACS/CNF\
  \ format), or as a PB solver\n    (on OPB format)."
devel_jobs:
- devel-hydro-clasp
doc_job: doc-hydro-clasp
has_changelog_rst: true
license: GNU GPLv2
maintainer_status: developed
maintainers: Piyush Khandelwal <piyushk@gmail.com>, Jack O'Quin <jack.oquin@gmail.com>
msgs: []
package_type: package
release_jobs:
- ros-hydro-clasp_sourcedeb
- ros-hydro-clasp_binarydeb_precise_amd64
- ros-hydro-clasp_binarydeb_precise_i386
- ros-hydro-clasp_binarydeb_quantal_amd64
- ros-hydro-clasp_binarydeb_quantal_i386
- ros-hydro-clasp_binarydeb_raring_amd64
- ros-hydro-clasp_binarydeb_raring_i386
repo_name: clasp
repo_url: https://github.com/utexas-bwi/bwi_planning
srvs: []
timestamp: 1440679324.055307
url: ''
vcs: git
vcs_uri: https://github.com/utexas-bwi/clasp.git
vcs_version: master
