negative integer constants

Status: Beta

Brought to you by: dryeti

#4 negative integer constants

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2013-04-30

Created: 2013-04-30

Private: No

Interpretation view shows Gringo atom 'edge(a, b, -1)' as 'edge(a, b, UMINUS(1))'.