Skip to content

Better reccursive function handling

François Bobot requested to merge bobot/abs into master
  • Use new define-fun-rec in order to instantiate more rapidly
  • unrelated, last lasteffort instanciation are useful and their priority bumped

Merge request reports