Added string constant in java api example.
Cleanup.
Better error description (related to bug 605).
bug fix, thanks to Guy's example.
Option to enable/disable cyclicity check in datatypes.
Minor fixes to language bindings. (Resolves #607.)
Add cvc parsing support for cardinality constraints.  Bug fix for enumerating elements to meet cardinality lower bounds.
sygus input language and benchmark