Source: fact++
Section: science
Maintainer: Jonas Smedegaard <dr@jones.dk>
Build-Depends:
 cmake,
 debhelper-compat (= 14),
 dh-cmake-compat (= 1),
 dh-sequence-cmake,
 dh-sequence-single-binary,
Standards-Version: 4.7.4
Homepage: https://github.com/tilde-lab/pyfactxx
Vcs-Git: https://salsa.debian.org/debian/factplusplus.git
Vcs-Browser: https://salsa.debian.org/debian/factplusplus

Package: fact++
Architecture: any
Depends:
 ${shlibs:Depends},
Description: description logic reasoner for the semantic web
 FaCT++ is a DL reasoner.
 It supports OWL DL
 as well as the forthcoming standard OWL 1.1.
 FaCT++ is implemented in C++
 and uses optimised tableaux algorithms.
 The tool is probably best known
 for its compatibility with the tool Protege
 that helps to formally represent semantics.