Uses of Interface
org.licas.ai_solver.test.TestDef