search

tremlin / PermLib

a C++ library implementing permutation group algorithms
Other
13 stars 2 forks source link

veriT patch to permlib #4

Open jamesjer opened 10 years ago

jamesjer commented 10 years ago

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 commented 10 years ago

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.