removed import, which is no longer used
unenforced_contstraints is now a set
added time import