11 | | Using --optional=4ti2,cbc,ccache,cryptominisat,dot2tex,e_antic,external,glucose,latte_int,lidia,lrslib,memlimit,normaliz,notedown,openssl,pandoc_attributes,pycosat,pynormaliz,rst2ipynb,sage,sagenb |
12 | | External software to be detected: cplex,ffmpeg,graphviz,gurobi,imagemagick,internet,latex,macaulay2,magma,maple,mathematica,matlab,octave,pandoc,scilab |
| 11 | Using --optional=4ti2,cbc,ccache,cryptominisat,dot2tex,e_antic,external, |
| 12 | glucose,latte_int,lidia,lrslib,memlimit,normaliz,notedown,openssl, |
| 13 | pandoc_attributes,pycosat,pynormaliz,rst2ipynb,sage,sagenb |
| 14 | External software to be detected: cplex,ffmpeg,graphviz,gurobi,imagemagick,internet,latex,macaulay2, |
| 15 | magma,maple,mathematica,matlab,octave,pandoc,scilab |