C

cnf

A boolean constraint (cnf), satisfyability solver. This one by design generates very short unsat proofs.

VNF management agent for VPP (FD.io) powered by cn-infra