Add Unicode and escape sequence support#624

rkaminsk merged 1 commit into

potassco:wip-20potassco/clingo:wip-20from

FrancoisLaferriere:string-escapesFrancoisLaferriere/clingo:string-escapesCopy head branch name to clipboard