Increase default value of $MaxSatIter from 1000 to 10000.

This commit is contained in:
Dianne Skoll
2026-01-20 15:19:23 -05:00
parent 86e94009a4
commit 82733e817b
2 changed files with 2 additions and 2 deletions

View File

@@ -127,7 +127,7 @@ EXTERN INIT( int DefaultColorB, -1);
EXTERN INIT( int DefaultColorG, -1);
EXTERN INIT( int SynthesizeTags, 0);
EXTERN INIT( int ScFormat, SC_AMPM);
EXTERN INIT( int MaxSatIter, 1000);
EXTERN INIT( int MaxSatIter, 10000);
EXTERN INIT( int MaxStringLen, MAX_STR_LEN);
EXTERN INIT( int UseStdin, 0);
EXTERN INIT( int PurgeMode, 0);