Skip to content

Use generic split after obtaining direct strategy

Alexandre Duret-Lutz requested to merge improve_split_usage into next
  • bin/ltlsynt.cc: Here

Merge request reports