A ports freeze means that commits will be few and far between and only by approval.

dlv 20071011 lang =0

RESTRICTED: Not sure if we can redistribute it
A Disjunctive Datalog System
Maintained by: arved@FreeBSD.org
Port Added: 01 Jun 2007 18:19:44

---

---

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.dbai.tuwien.ac.at/proj/dlv/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

To install the port: cd /usr/ports/lang/dlv/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

---

Configuration Options

     No options to configure

---

Master Sites:

http://www.dbai.tuwien.ac.at/proj/dlv/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/

Mark BROKEN, while i am trying to figure out, why the binary changed.

Reported by:    pointyhat

Fix "extract" by creating a WRKDIR

Reported by:    pointyhat

Add dlv to LEGAL, no information about redistribution

Add dlv, a disjunctive Datalog System

9 vulnerabilities affecting 22 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities