diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-16 19:28:25 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-16 19:28:25 +0000 |
| commit | a090197414c31b4cae3cdced9e448474858b7553 (patch) | |
| tree | 67c53f839fa295b38ab01c1f191c7b75f259fa95 /config | |
| parent | 5212180d05110bbec3ed76e70e985d317ff450c5 (diff) | |
adding simple-minded handling of (dis-)equalities where constants are involved
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions