aGrUM 3.1.1
a C++ library for (probabilistic) graphical models

cnf → base Relation

File in agrum/BN/io/cnfIncludes file in agrum/base
CNFWriter.hcore / approximations / exactPolicy.h