4 Commits

Author	SHA1	Message	Date
Lev Walkin	de6fbe049e	api change	2004-08-22 03:10:52 +00:00
Lev Walkin	02b137df77	refine	2004-08-21 07:34:58 +00: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