Sebastien Loriot ff278a61eb Merge pull request #3399 from maxGimeno/Kernel_23-Aff_transformation-Equality_test-GF ... Kernel_23: Add an equality test to Aff_transfo 2 and 3.		2018-11-12 15:06:07 +01:00
..
Cartesian	Add an equality test to Aff_transfo 2 and 3.	2018-10-12 16:34:19 +02:00
constructions	Use certainly() as recommended by Laurent	2018-10-09 14:09:05 +02:00
predicates	add SPDX identifier for files under the LGPL-3+ license	2017-11-12 10:17:50 +01:00
Cartesian.h	add SPDX identifier for files under the LGPL-3+ license	2017-11-12 10:17:50 +01:00
Cartesian_converter.h	Add Filtered_predicates and manage all Aff_transf	2018-10-09 10:24:32 +02:00
Simple_cartesian.h	add SPDX identifier for files under the LGPL-3+ license	2017-11-12 10:17:50 +01:00