Aggregates test suites into increasing dependency order.
Test suite for logic which "joins" two solutions, propagating bindings,
verifying constraints, and dropping bindings which are not to be kept.
Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.