• Alexandre Duret-Lutz's avatar
    Add SCC pruning options to the CGI script. · a4766f2f
    Alexandre Duret-Lutz authored
    * wrap/python/cgi-bin/ltl2tgba.in: Add options to symbolically
    prune unaccepting SCCs in LaCIM, and explicitely pruns unaccepting
    SCCs in all algorithms.
    * src/tgbaalgos/reductgba_sim.hh: Conceal most of the file to
    * wrap/python/spot.i: Include reductgba_sim.hh.
To find the state of this project's repository at the time of any of these versions, check out the tags.