Home | Rules | CfP | Call for Models | Organizers | MCC 2011 |
---|
It is a Colored with extra features model and there are also equivalence P/T versions (maybe only for less instances than the ones of the colored model), it has been proposed by Franck Pommereau.
It can be downloaded here.
It can be downloaded here.
Note: even if the specification is provided as a colored one, the category the model belongs to is the one provided in the information section: Colored with extra features model and there are also equivalence P/T versions (maybe only for less instances than the ones of the colored model).