util.sat
Created by rdelmas on 26/06/16.
Unit-tests of the dual rail enoding wrt the Ternary semantics of operators.
(Since version 2.11.0) The delayedInit mechanism will disappear.
Created by rdelmas on 26/06/16.
Unit-tests of the dual rail enoding wrt the Ternary semantics of operators.