diff --git a/fc-solve/site/wml/lib/hunspell/whitelist1.txt b/fc-solve/site/wml/lib/hunspell/whitelist1.txt index 883222590..359f5dd55 100644 --- a/fc-solve/site/wml/lib/hunspell/whitelist1.txt +++ b/fc-solve/site/wml/lib/hunspell/whitelist1.txt @@ -791,6 +791,7 @@ soft_thread solvability sourceforge spec +speedup speedups split-dbm-solver split-fcc-solver @@ -974,6 +975,7 @@ sublicense DD-MMM-YYYY dbm-solver depth_dbm_fc_solve +fc-solve-temp int128 int128-optimisation libGMP