yentl/modelverse @ 82e1f73418c6717f1f9dae2611feaa3f00c44ad8

Yentl Van Tendeloo 82e1f73418 Fixed problem with loading in the core model only, and not its typing		8 年之前
..
core_algorithm.alc	82e1f73418 Fixed problem with loading in the core model only, and not its typing	8 年之前
core_formalism.mvc	7e1859550f Fixed first few tests again	8 年之前
mini_modify.alc	786dcb41d9 Fixes for removed add_constraint	8 年之前
mini_modify.alh	c2b8f8ab4d Even more (untested) code for the core algorithm	8 年之前