commit | dee61785fa3c3fc6600ffd9835ce09ee772a615c | [log] [tgz] |
---|---|---|
author | Lev Walkin <vlm@lionet.info> | Wed Feb 02 09:53:46 2005 +0000 |
committer | Lev Walkin <vlm@lionet.info> | Wed Feb 02 09:53:46 2005 +0000 |
tree | 3f40a9bfad703d75c34d6d47d64a043993aa50b4 | |
parent | 6b0df9f7affed8de6f9bec1f2ca7fbac43712485 [diff] |
constraint checking example