A clause is hard-constrained when its weight value is infinite (either pos. inf. or neg. inf.)
A clause is hard-constrained when its weight value is infinite (either pos. inf. or neg. inf.)

anskarl/LoMRF