jean paul nshuti e747afbd40 modify the invariants for only few of them		2025-10-09 17:28:39 +02:00
src	modify the invariants for only few of them	2025-10-09 17:28:39 +02:00
Makefile	modify the makefile for compilinng the planar	2025-10-09 13:03:42 +02:00