DLV base program
Use empty generic when possible
Magic Numbers => BAD
finished DLV solver support
DLV basic solver