| commit | 53f5a3e43280d852e07554128cedf3c6ff27d661 | |
| author | Tom Schrijvers <tom.schrijvers@cs.kuleuven.be> | |
| Tue, 26 Feb 2008 20:18:20 +0000 (26 21:18 +0100) | ||
| committer | Tom Schrijvers <tom.schrijvers@cs.kuleuven.be> | |
| Tue, 26 Feb 2008 20:18:20 +0000 (26 21:18 +0100) | ||
| tree | d4af8050fddf1b553be466913c87e5d5493dcc18 | treesnapshot (tar.gz zip) |
| parent | 2e84528d22b635be955fc581924107cc7bbf4478 | commitdiff |
prefer global_ground store for enumerating CHR constraints, because that code is cheaper
| chr_translate.chr | diffblobblamehistory |