Skip to content
  • erwan's avatar
    Allow the division by a constant in constraint. · c7a6f554
    erwan authored
    I'm pretty sure this used to be supported. Why did I remove it?
    unfortunately, the file was not tracked by git (and by mistake)
    at this time.
    also, begin to replace lurettetop by rdbg -lurette in tests