The DLV Wrapper Project
Download API docs Online Demo Papers FAQ contact

The DLV Wrapper is a Java interface for the DLV system.

The DLV Wrapper is an Object-Oriented library that “wraps” up the DLV system in a Java program.

The DLV Wrapper allows to combine Java code with disjunctive logic programs, by using a suitable hierarchy of Java classes.

The DLV Wrapper Team

prof. Nicola Leone and ing. Francesco Ricca

University of Calabria
Department of Mathematics

For further information on the DLV Wrapper click here