Página inicial Explorar Ajuda
Entrar
yentl
/
modelverse
Observar 3
Favorito 3
Fork 6
Arquivos Issues 4 Pull Requests 0 Wiki
Tree: 82e1f73418
Branches Tags
modelverse
/
core
Yentl Van Tendeloo 82e1f73418 Fixed problem with loading in the core model only, and not its typing 8 anos atrás
..
core_algorithm.alc 82e1f73418 Fixed problem with loading in the core model only, and not its typing 8 anos atrás
core_formalism.mvc 7e1859550f Fixed first few tests again 8 anos atrás
mini_modify.alc 786dcb41d9 Fixes for removed add_constraint 8 anos atrás
mini_modify.alh c2b8f8ab4d Even more (untested) code for the core algorithm 8 anos atrás