clam icon indicating copy to clipboard operation
clam copied to clipboard
verified publisher icon seahorn

PPLite domains available via both native and Apron interfaces.

Open ezaffanella opened this issue 2 years ago • 0 comments

This PR depends on corresponding PR on crab. It uses the following domain names: pk-pplite ==> native interface to PPLite F_Poly (Cartesian factored polyhedra) pk-ap-pplite ==> Apron interface to PPLite F_Poly

ezaffanella avatar Jul 03 '23 15:07 ezaffanella