• Alexandre GBAGUIDI AISSE's avatar
    twaalgos: Set 'dicho' algo as default for SAT-based minimization · ef2355a5
    Alexandre GBAGUIDI AISSE authored
    * python/spot/__init__.py: Handle options.
    * spot/twaalgos/dtwasat.cc: Handle options.
    * spot/twaalgos/postproc.cc: Handle options.
    * spot/twaalgos/postproc.hh: Handle options.
    * tests/core/satmin.test: Update tests.
    Now use 'sat-minimize=4' to use the naive algo.
    * tests/core/satmin2.test: Update tests.
    Now use --sat-minimize='naive' to use the naive algo.
    * tests/python/satmin.py: Update tests.
    Now use 'naive=True' to use the naive algo.
    ef2355a5
satmin.test 66.2 KB