You define rules for automatic solver selection or automatic comment generation primarily in the workspace. In the project settings, you then specify whether to get the rules from the workspace:
Can't find what you were looking for? Contact us
Copyright 2024 KARAT Software. All rights reserved