---
name: dlv
version: 20121217
origin: lang/dlv
comment: Disjunctive Datalog System
arch: freebsd:9:x86:64
www: http://www.dlvsystem.com/dlv/
maintainer: ports@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 2031392
desc: |
  DLV is a system for disjunctive datalog with constraints, true negation
  and queries.

  The DLV system also includes

      * the K planning system,
      * a frontend for abductive diagnosis and Reiter's diagnosis,
      * support for inheritance, and
      * an SQL frontend which prototypes some novel SQL3 features.

  WWW: http://www.dlvsystem.com/dlv/
categories: [lang]
files:
  /usr/local/bin/dlv: c24a8a20084f256b47b86a2ca41d2fe18305229ecfdd70e564209c0f103b777d
scripts: {}
