Changeset 183

Timestamp:
Nov 3, 2014, 11:27:36 AM (10 years ago)
Author:
krafczy
Message:

Expand a OR !(b OR c) to a OR (!b AND !c) to possibly speed some constraints up (hacky)

(No files)

Note: See TracChangeset for help on using the changeset viewer.