Skip to content
  • Erwan Jahier's avatar
    lurette 1.6 Thu, 25 Sep 2003 17:49:07 +0200 by jahier · 7189e37a
    Erwan Jahier authored
    Parent-Version:      1.5
    Version-Log:
    
    source/solver.ml:
    source/bddd.ml:
    source/env_state.ml:
       Deal with the solution number table global var at the bddd module level,
       not at the env_state level. The rationale is that it makes it possible
       to have a abstract snt type that can be easily change after.
    
    Project-Description: Lurette
    7189e37a