Update stp to version 2.3.3+20220915 / rev 14 via SR 1073729
    
    https://build.opensuse.org/request/show/1073729
    by user jirislaby + dimstar_suse
    - Update to version 2.3.3+20220915:
      * Fix compilation error on libstdc++-7-dev
      * disable SQLITE when building cms
      * Fix so user flags are respected
      * Convert ordered collections to faster unordered collections.
      * copy on write to reduce the number of malloc/free
      * Cleanup the dependency building code
      * Small changes to make core simplification algorithms faster.
      * Improve again on the performance of QF_BV benchmark problems.
      * Handle an extra case in unconstrained variable elimination.
      * Improve again on the performance of QF_BV benchmark problems.
      * Fix test cases so that they work when stp has pure variable removal disabled.
      * Tune the parameters to improve performance on QF_BV benchmark problems
      * Adding REQUIRE for Perl
      * Remove some mentions of the CVC forma