Class LingelingTest

java.lang.Object
org.tweetyproject.sat.test.LingelingTest

public class LingelingTest extends Object