Extended PLLiteral by integer constructor for simple dimacs parsing
Implemented partial and partial weighted MaxSAT reader with detailed unit tests