Provides the classes for a simple test example including the GUI.
Class Summary Class Description ConstraintTester MemoryLeakTestThe
PlotDataForImportanceMeasuresCreatorThis file is used to create importance measure data in order to plot and compare them to the results and graphs in [Ali17]. ReliabilityTester TestExampleThe
TestExampleis a play example.