Hash : 5d266f52 Author : Baptiste Date : 2024-03-07T13:38:49
ways to test the ratios with and without ic3
KC3 programming language.