fix #30

added satisfaction of constraints to JSON