Fix broken sat solvers feature tests

[antonio-rojas]

GlucoseExecutable, PycosatExecutable and PycryptosatExecutable are nowhere defined.

[github-actions]

Documentation preview for this PR (built with commit 603fbd7; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[dimpase]

hmm, why do you change these, but not similar things like

src/sage/features/nauty.py:        sage: NautyExecutable('converseg').is_present()

What's broken?

[antonio-rojas]

NautyExecutable is a class defined in sage/features/nauty.py. OTOH GlucoseExecutable, PycosatExecutable and PycryptosatExecutable do not exist at all, so these tests are totally broken

File "/usr/lib/python3.13/site-packages/sage/features/sat.py", line 62, in sage.features.sat.Pycosat
Failed example:
    PycosatExecutable().is_present()                  # optional - pycosat
Exception raised:
    Traceback (most recent call last):
      File "/usr/lib/python3.13/site-packages/sage/doctest/forker.py", line 728, in _run
        self.compile_and_execute(example, compiler, test.globs)
        ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
      File "/usr/lib/python3.13/site-packages/sage/doctest/forker.py", line 1152, in compile_and_execute
        exec(compiled, globs)
        ~~~~^^^^^^^^^^^^^^^^^
      File "<doctest sage.features.sat.Pycosat[1]>", line 1, in <module>
        PycosatExecutable().is_present()                  # optional - pycosat
        ^^^^^^^^^^^^^^^^^
    NameError: name 'PycosatExecutable' is not defined