Cvc4 external loop - Githubissues

cdonovick / peak

Peak : Processor Specification Language ala Newell and Bell's ISP

19 stars 3 forks source link

Closed jack-melchert closed 4 years ago

jack-melchert commented 4 years ago

Improves rewrite rule solving time using external loop method similar to model-based quantifier instantiation (MBQI).

rdaly525 commented 4 years ago

@jack-melchert could you rebase on master?