Created by kdelmas on 10/06/16.
Created by kdelmas on 14/04/16.
cardinality theory trait based on MDD analysis
(Since version KCR analyser 1.0) old version of design sapce exploration solver
Created by kdelmas on 14/04/16.
Created by kdelmas on 14/04/16.
(Since version KCR analyser 1.0) old version of safety theory
Created by kdelmas on 03/05/17.
cardinality theory trait based on MDD analysis
(Since version KCR analyser 1.0) old version of safety theory not using clause minimisation