This is what Kirq looks like when it starts up for the first time. There are three main panes. The large gray area on the left is where data sets, truth tables, and consistency/coverage tables are displayed.
The Session window at the upper right records the history of your analyses and enables you to quickly go back to a previous analysis, either to review its results or revise your parameter specification and rerun the analysis.
The Necessity and Sufficiency tabs at the lower right are where you specify the parameters of your analysis.
Prev | Up | Next