On 04/26/2016 11:35 AM, Meta wrote:
The nice part about 1 is that every constraint gets it for free.

Only if in CNF, otherwise needs changed. -- Andrei

Reply via email to