UbuntuUpdates.org

Package "clasp"

Name: clasp

Description:

conflict-driven nogood learning answer set solver

Latest version: 3.3.5-4.2build1
Release: oracular (24.10)
Level: base
Repository: universe
Homepage: https://www.potassco.org/clasp/

Links


Download "clasp"


Other versions of "clasp" in Oracular

No other version of this package is available in the Oracular release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates