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 , Jack O'Quin 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