# ILP tasks

This is a implementation of DLP to solve the ILP tasks.

The 20 ILP tasks can be divided into two parts according to the arity of the target predicates. ILPUnary.py solves the unary-predicate problems and ILPBinary.py solves the binary-predicate problems. Note that some of the 20 ILP problems (e.g. Father, Son, Husband...) are duplicated with other tasks so we pick one of them here for simplification. One can also add new ILP problems by modifying the data generators.

To run the implementation, simply run ILPUnary.py or ILPBinary.py.