-
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