- What is the DLV Wrapper?
- The DLV Wrapper is a Java library that allows disjunctive logic programs to be embedded inside Object oriented programs.
- Is there a C++ version of the DLV Wrapper?
- The C++ version is not available.
- How can I contact the DLV Wrapper code mantainers?
- Is the DLV Wrapper a free software?
- The DLV Wrapper is free for educational and non commercial use. For information on commercial use contact Nicola Leone and Francesco Ricca.
- Is the dlv system DLV distributed with the DLV Wrapper?
- How can I subscribe to the DLV Wrapper mailig list?
- Send an e-mail to majordomo_AT_mat.unical.it with the message:
subscribe dlvwrapper-dev
- How can I unsubscribe from the DLV Wrapper mailing list?
- Send an e-mail to majordomo_AT_mat.unical.it with the message:
unsubscribe dlvwrapper-dev
|