More # optional

Matthias Koeppe · Matthias Koeppe · commit dd20a8c21da4 · 2023-11-05T14:52:58.000-08:00
diff --git a/src/sage/sat/solvers/sat_lp.py b/src/sage/sat/solvers/sat_lp.py
@@ -1,3 +1,4 @@
+# sage.doctest: optional - sage.numerical.mip
 r"""
 Solve SAT problems Integer Linear Programming
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# sage.doctest: optional - sage.numerical.mip`
`1`	`2`	`r"""`
`2`	`3`	`Solve SAT problems Integer Linear Programming`
`3`	`4`