libHexEx issueshttps://gitlab.vci.rwth-aachen.de:9000/HexEx/libHexEx/-/issues2019-08-20T07:49:12Zhttps://gitlab.vci.rwth-aachen.de:9000/HexEx/libHexEx/-/issues/4Eigen3 finder2019-08-20T07:49:12ZMartin HeistermannEigen3 finderhttps://gitlab.vci.rwth-aachen.de:9000/HexEx/libHexEx/-/issues/1Set up CI2019-07-23T15:24:52ZMartin HeistermannSet up CICompile + run some smoketests on sample inputs?Compile + run some smoketests on sample inputs?