diff options
-rwxr-xr-x | configure.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 16764dd8a..0740ce396 100755 --- a/configure.sh +++ b/configure.sh @@ -50,7 +50,6 @@ The following options configure parameterized features. Optional Packages: The following flags enable optional packages (disable with --no-<option name>). --cln use CLN instead of GMP - --gmp use GMP instead of CLN --glpk use GLPK simplex solver --abc use the ABC AIG library --cadical use the CaDiCaL SAT solver |