Mentions légales du service

Skip to content

Fix incorrect time limits for Z3.

Guillaume Melquiond requested to merge z3-timelimits into master

This commit also mentions the change to time limits in the change log.

Merge request reports