Skip to content
Commit 320ae944 authored by Romain Wallon's avatar Romain Wallon
Browse files

🚚 Renames the module to avoid conflicts with the older version of Sat4j-CSP.

parent 9b8d1bfa
Pipeline #22465 failed with stages
in 45 seconds