mention defaulting to SAT4J

marcellussiegburg · Jan 17, 2024 · 08dd70b · 08dd70b
1 parent 92b057f
commit 08dd70b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Language/Alloy/Internal/Call.hs b/src/Language/Alloy/Internal/Call.hs
@@ -169,6 +169,7 @@ Default configuration for calling Alloy. Defaults to:
 
  * retrieve all instances
  * do not overflow
+ * 'SAT4J'
 -}
 defaultCallAlloyConfig :: CallAlloyConfig
 defaultCallAlloyConfig = CallAlloyConfig {