ltlmt: skip sat check for assumptions that contain LTL#4
Open
lou1306 wants to merge 1 commit intodevelop-shaunfrom
Open
ltlmt: skip sat check for assumptions that contain LTL#4lou1306 wants to merge 1 commit intodevelop-shaunfrom
lou1306 wants to merge 1 commit intodevelop-shaunfrom
