Commit 5d266f52067a461f0c3ab1a6fc406d1d97ff8e70

Baptiste 2024-03-07T13:38:49

ways to test the ratios with and without ic3