Project

General

Profile

« Previous | Next » 

Revision 3d1f9d9f

Added by LĂ©lio Brun 9 months ago

more agressive optim propagation in spec in order to remove unecessarry existential variables that were eliminated (helps the solvers)

  • added
  • modified
  • copied
  • renamed
  • deleted