Implements generic time constraint (#6)

Additionally, solves bugs related with matrix reading on model:43 and
model:138