veriT patch to permlib

[jamesjer]

The veriT 201310 distribution (see http://www.verit-solver.org/veriT-download.php) contains a patch to permlib, in extern/permlib. Is this patch suitable to include in permlib, or is there some other way of accomplishing the same thing with the existing constructors?

This question came up because I am looking at the feasibility of building veriT for inclusion in Fedora, but veriT cannot use the existing permlib in Fedora due to the missing constructor. Thanks.

[tremlin]

The constructor in the patch performs a transformation that could also be made outside PermLib. I am hesitant to include a constructor based on the same input data structure because it is a bit too much "C"-style.