Configures ICanBoogie automatically.
Warning
This is an internal ICanBoogie package and is not meant to be used separately.
The project is continuously tested by GitHub actions.
This project adheres to a Contributor Code of Conduct. By participating in this project and its community, you're expected to uphold this code.
See CONTRIBUTING for details.