Age | Commit message (Collapse) | Author |
|
|
|
for eg, (Set Int) is subtype of (Set Real) if Int is subtype of Real
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
|
|
|
|
|
|
|
Sets parserchanges
|
|
|
|
This reverts commit 4cac1b63f76a0a973a015ea6f8e21ad31d84d971.
|
|
|
|
|
|
Without this building just the python bindings will fail.
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
|
(resolves bug #548).
|
|
|
|
|
|
regular expresssion containing all charactors
|
|
|
|
membership constraints
|
|
regular expresssion containing all charactors
|
|
|
|
membership constraints
|
|
rename the kind IN to MEMBER
|
|
|
|
|
|
--stats-every-query option: print increment in addition to cumulative va...
|
|
of each stat
the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)
|
|
default QCF setting. Bug fix to prevent non-ground terms from entering relevant domains.
|
|
|
|
|
|
|
|
|
|
|
|
for cvc format
|
|
|
|
|
|
|
|
|
|
|
|
for cvc format
|
|
|