(name 'CooperatingLanguages-hs.5' message 'integration of kodkod solver started, one example working' id '9ad66c01-442f-43ac-b36a-98712722c7e8' date '10 April 2012' time '1:24:44.097 am' author 'hs' ancestors ((name 'CooperatingLanguages-hs.4' message 'updated SMT binary location to be in tmp dir' id '85bacad1-2af0-46ba-bde6-bd8ee1ee944d' date '9 April 2012' time '12:14:36.322 pm' author 'hs' ancestors ((name 'CooperatingLanguages-hs.3' message 'first SMT example working, event-based one works but does not refire yet' id '8e0325ab-3267-4dd1-8d81-0e8cf88be363' date '9 April 2012' time '1:34:51.846 am' author 'hs' ancestors ((name 'CooperatingLanguages-AHB.2' message 'added parsers for constraints and geometric object languages' id '698ccadc-21d1-426c-89ba-a29f47dbfe99' date '6 April 2012' time '3:56:26.127 pm' author 'AHB' ancestors ((name 'CooperatingLanguages-hs.1' message 'init package for framework for cooperating languages' id '5ea8c38f-267d-49c2-95cd-847b89eb8652' date '6 April 2012' time '3:12:12.772 pm' author 'hs' ancestors () stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())) stepChildren ())