cvc4terminate infinite loop fix
Fair datatype enumeration.
fix unit test for new fair datatype enumeration
Fix AIG bitblaster for unsat cores.
Finer-grained resource-limiting in quantifiers.
Clarify some licensing-related things.
Fix some configuration-related oddness.
Fix bv options doc.
Merge branch '1.4.x'
Run $ contrib/new-theory fp
Populate the kinds file.
Skeleton implementations of the classes needed by the constant kinds.
Fix glaring syntax error.
Add the helper classes for parametric sorts.
Fix some of the compilation bugs.
A few more compilation fixes.
Create a derived class the data for each of the parameterized operators.
Fixes to get the code to compile with the new kinds.
Implement the rest of the type checking rules.
Separate some utility functions so that better error handling can be provided.