Skip to content

Added more convenient version of delete theorem

c150635
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Updated version of the Delete Theorem in Disj.LP, along with related encodings and theorems #60

Added more convenient version of delete theorem
c150635
Select commit
Loading
Failed to load commit list.

The logs for this run have expired and are no longer available.