Extension of PyNuSMV SAT toolbox

Bibliographic reference Feyens, Victor. Extension of PyNuSMV SAT toolbox. Ecole polytechnique de Louvain, Université catholique de Louvain, 2018. Prom. : Pecheur, Charles.
Permanent URL http://hdl.handle.net/2078.1/thesis:17186