3 Commits

Author	SHA1	Message	Date
Lev Walkin	c6cac8e958	do not use reserved identifiers	2016-03-14 02:57:34 -07:00
Lev Walkin	59004fad9c	new constraints generation method	2004-08-20 13:37:01 +00:00
Lev Walkin	84cd58ecfb	constraint checking code	2004-08-19 13:29:46 +00:00