Correct a typo in a method name.
Merge remote-tracking branch 'origin/develop' into develop
Preliminary implementation of ccs feature
Improve constraint handling mechanism.
Introduce a mechanism where irrelevant symbol not found exceptions to the 'And' and 'Or' predicates' results are ignored
Add Constraint related tests.
Add CCSValueTupleSetTest
Add clean implementaion of IPO (IPO2).
Fix compilation issues.
Separate optimization, constraint handling, and covering array generation concernings.
Add first test.
Fix bugs in generating pairwise test cases
Add tests for 3-strength
Fix a bug in vg method in IPO2.
Add some methods to Factor/Factors class.
Refactor 'ValueTuple' structure using 'Tuple'.
Fix a bug in constraint handling.
Add test cases for constraint handling.
Enhance verification mechanism so that it doesn't complain of absense of prohibited tuples.
Remove unused dependency
Add 'getLevels' method to 'Factor' class.
Wire JCUnit's framework and IPO2 mechanism
Make 'autotest' classes use a class of a throwable instead of a throwable instance to record a test run result, since throwable instances can't be 'equals' with de-serialized objects.
Add an initial implementation of a test class for IPO2 mechanism.
Refactor package structure.
Reformat code
Refactor package layout.
Enhance FactorField annotation