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 ne.ml file was not tracked by git (and by mistake)
    at this time.
    
    also, begin to replace lurettetop by rdbg -lurette in tests
    c7a6f554