Skip to content
Snippets Groups Projects
Commit aafdc95b authored by Sophie Coudert's avatar Sophie Coudert
Browse files

some little simplifying

parent dd962e28
No related branches found
No related tags found
1 merge request!457IntBoolSolver (IBS) version 1.0 completed